Thread overview
[Issue 22540] Instantiation modifies dependant type of value / alias template parameters
Nov 23, 2021
Dlang Bot
Jan 28, 2022
RazvanN
Jan 28, 2022
RazvanN
Jan 28, 2022
RazvanN
Jan 28, 2022
RazvanN
Feb 15, 2022
RazvanN
Dec 17, 2022
Iain Buclaw
November 23, 2021
https://issues.dlang.org/show_bug.cgi?id=22540

Dlang Bot <dlang-bot@dlang.rocks> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> ---
@MoonlightSentinel created dlang/dmd pull request #13352 "Fix 22540 - Copy parameter types / defaults of dependant template..." fixing this issue:

- Fix 22540 - Copy parameter types / defaults of dependant template...

  ... value / alias parameters.

  The introduced copies ensure that the initialized parameters of the
  instantiation do not share objects with the template declaration.

  Previously, sharing could occur in the following scenarios:

  - type parameter appears inside of value type, e.g. `foo(T, T* val)`
    Later semantic resolves `T` to the concrete type and hence changes
    the type of `val` in the template declaration.
  - alias parameter default value isn't copied and manifested according to
    the first template instance.

https://github.com/dlang/dmd/pull/13352

--
January 28, 2022
https://issues.dlang.org/show_bug.cgi?id=22540

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |e.insafutdinov@gmail.com

--- Comment #2 from RazvanN <razvan.nitu1305@gmail.com> ---
*** Issue 3538 has been marked as a duplicate of this issue. ***

--
January 28, 2022
https://issues.dlang.org/show_bug.cgi?id=22540

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dhasenan@gmail.com

--- Comment #3 from RazvanN <razvan.nitu1305@gmail.com> ---
*** Issue 18910 has been marked as a duplicate of this issue. ***

--
January 28, 2022
https://issues.dlang.org/show_bug.cgi?id=22540

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |b2.temp@gmx.com

--- Comment #4 from RazvanN <razvan.nitu1305@gmail.com> ---
*** Issue 20576 has been marked as a duplicate of this issue. ***

--
January 28, 2022
https://issues.dlang.org/show_bug.cgi?id=22540

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |madric@gmail.com

--- Comment #5 from RazvanN <razvan.nitu1305@gmail.com> ---
*** Issue 18917 has been marked as a duplicate of this issue. ***

--
February 15, 2022
https://issues.dlang.org/show_bug.cgi?id=22540

RazvanN <razvan.nitu1305@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           See Also|                            |https://issues.dlang.org/sh
                   |                            |ow_bug.cgi?id=14501

--
December 17, 2022
https://issues.dlang.org/show_bug.cgi?id=22540

Iain Buclaw <ibuclaw@gdcproject.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P1                          |P2

--
December 13
https://issues.dlang.org/show_bug.cgi?id=22540

--- Comment #6 from dlangBugzillaToGithub <robert.schadek@posteo.de> ---
THIS ISSUE HAS BEEN MOVED TO GITHUB

https://github.com/dlang/dmd/issues/20011

DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB

--