www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 12078] New: forward reference issue with is() and curiously recurring template pattern

reply d-bugmail puremagic.com writes:
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


--- Comment #0 from Benjamin Thaut <code benjamin-thaut.de> 2014-02-05 00:37:34
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
next sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=12078


Benjamin Thaut <code benjamin-thaut.de> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid


--- Comment #1 from Benjamin Thaut <code benjamin-thaut.de> 2014-02-05 00:38:35
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
prev sibling parent d-bugmail puremagic.com writes:
https://d.puremagic.com/issues/show_bug.cgi?id=12078


Kenji Hara <k.hara.pg gmail.com> changed:

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


--- Comment #2 from Kenji Hara <k.hara.pg gmail.com> 2014-04-03 19:36:11 PDT ---
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