digitalmars.D.bugs - [Issue 12078] New: forward reference issue with is() and curiously recurring template pattern
- d-bugmail puremagic.com (30/30) Feb 05 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12078
- d-bugmail puremagic.com (10/10) Feb 05 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12078
- d-bugmail puremagic.com (10/10) Apr 03 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12078
https://d.puremagic.com/issues/show_bug.cgi?id=12078 Summary: forward reference issue with is() and curiously recurring template pattern Product: D Version: D2 Platform: All OS/Version: All Status: NEW Severity: normal Priority: P2 Component: DMD AssignedTo: nobody puremagic.com ReportedBy: code benjamin-thaut.de PST --- In the following repro case, the first static assert will fail, but if you comment it, the second one will succeed. class Base(T) { static assert(is(T : Base!T), "not related"); } class Derived : Base!Derived { } void main(string[] args) { static assert(is(Derived : Base!Derived), "not related 2"); } -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Feb 05 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12078 Benjamin Thaut <code benjamin-thaut.de> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |rejects-valid PST --- I tested this with both dmd 2.064.2 and dmd 2.065-b3 -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Feb 05 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12078 Kenji Hara <k.hara.pg gmail.com> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |pull https://github.com/D-Programming-Language/dmd/pull/3384 -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Apr 03 2014