[Issue 19105] Bogus recursive template expansion via getSymbolsByUDA

Aug 27, 2018

Abscissa

Jul 04, 2019

Dlang Bot

Jul 10, 2019

Dlang Bot

Jul 18, 2019

Simen Kjaeraas

Jul 19, 2019

Aug 28, 2019

Dec 01, 2019

Dec 02, 2019

Dec 17, 2022

Dec 13

dlangBugzillaToGithub

https://issues.dlang.org/show_bug.cgi?id=19105 Abscissa <bus_dlangzilla@semitwist.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Blocks| |340 Referenced Issues: https://issues.dlang.org/show_bug.cgi?id=340 [Issue 340] [Tracker] Forward reference bugs and other order-of-declaration issues --

https://issues.dlang.org/show_bug.cgi?id=19105 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull --- Comment #1 from Dlang Bot <dlang-bot@dlang.rocks> --- @RazvanN7 created dlang/phobos pull request #7100 "Fix Issue 19105 - Bogus recursive template expansion via getSymbolsByUDA" fixing this issue: - Fix Issue 19105 - Bogus recursive template expansion via getSymbolsByUDA https://github.com/dlang/phobos/pull/7100 --

https://issues.dlang.org/show_bug.cgi?id=19105 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #2 from Dlang Bot <dlang-bot@dlang.rocks> --- dlang/phobos pull request #7100 "Fix Issue 19105 - Bogus recursive template expansion via getSymbolsByUDA" was merged into master: - 86733d5a4a5379219f04524bead35eff33c6a1a7 by RazvanN7: Fix Issue 19105 - Bogus recursive template expansion via getSymbolsByUDA https://github.com/dlang/phobos/pull/7100 --

July 18, 2019

[Issue 19105] Bogus recursive template expansion via getSymbolsByUDA

Posted by Simen Kjaeraas

Permalink

Simen Kjaeraas

Permalink

https://issues.dlang.org/show_bug.cgi?id=19105

Simen Kjaeraas <simen.kjaras@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|pull                        |rejects-valid
             Status|RESOLVED                    |REOPENED
                 CC|                            |simen.kjaras@gmail.com
         Resolution|FIXED                       |---

--- Comment #3 from Simen Kjaeraas <simen.kjaras@gmail.com> ---
The "fix" in PR 7100 does nothing to fix the actual issue here - it only prohibits valid use cases, and should very clearly be reverted. See issue 20054.

This issue is a DMD issue, and no amount of Phobos fiddling is gonna fix it. Here's a reduced example:

template test(alias T) {
    alias i = T.C;
    alias test = int;
}

struct A(Args...) {}

struct S1 {
    // No error
    alias dummy = test!S1;
    alias C = A!(test!S1);
}
struct S2 {
    // Recursive template expansion
    alias C = A!(test!S2);
}

As we can see, we're not using the result of T.C, and the simple use of a dummy alias prevents the recursive expansion. Clearly, something is wrong in the compiler for this behavior to happen.

--

https://issues.dlang.org/show_bug.cgi?id=19105 JR <zorael@gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |zorael@gmail.com --

https://issues.dlang.org/show_bug.cgi?id=19105 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull --- Comment #4 from Dlang Bot <dlang-bot@dlang.rocks> --- @Biotronic created dlang/phobos pull request #7158 "Revert "Fix Issue 19105 - Bogus recursive template expansion via getS…" fixing this issue: - Revert "Fix Issue 19105 - Bogus recursive template expansion via getSymbolsByUDA" This reverts commit 86733d5a4a5379219f04524bead35eff33c6a1a7. https://github.com/dlang/phobos/pull/7158 --

https://issues.dlang.org/show_bug.cgi?id=19105 Dlang Bot <dlang-bot@dlang.rocks> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution|--- |FIXED --- Comment #5 from Dlang Bot <dlang-bot@dlang.rocks> --- dlang/phobos pull request #7158 "Revert "Fix Issue 19105 - Bogus recursive template expansion via getS…" was merged into stable: - f286ee1b2fc65107bd164c0a5b90b1d506f576ab by Simen Kjærås: Revert "Fix Issue 19105 - Bogus recursive template expansion via getSymbolsByUDA" This reverts commit 86733d5a4a5379219f04524bead35eff33c6a1a7. https://github.com/dlang/phobos/pull/7158 --

https://issues.dlang.org/show_bug.cgi?id=19105 Iain Buclaw <ibuclaw@gdcproject.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P1 |P3 --

https://issues.dlang.org/show_bug.cgi?id=19105 --- Comment #8 from dlangBugzillaToGithub <robert.schadek@posteo.de> --- THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/19461 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB --

Forums