http://d.puremagic.com/issues/show_bug.cgi?id=6269

           Summary: aliasing in IsExpression doesn't work when used inside
                    a template constraint
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Keywords: rejects-valid
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: mrmocool@gmx.de


--- Comment #0 from Trass3r <mrmocool@gmx.de> 2011-07-08 06:04:07 PDT ---
template Foo(T)
if (is(T U : U*))
{
    pragma(msg, U);
}
Foo!(int*) f;


foo.d(4): Error: undefined identifier U, did you mean variable f?
__error
foo.d(6): Error: template instance Foo!(int*) error instantiating
foo.d(6): Error: Foo!(int*) is used as a type

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6269


Andrej Mitrovic <andrej.mitrovich@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |andrej.mitrovich@gmail.com


--- Comment #1 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-09-01 17:00:35 PDT ---
*** Issue 10945 has been marked as a duplicate of this issue. ***

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

http://d.puremagic.com/issues/show_bug.cgi?id=6269



--- Comment #2 from Andrej Mitrovic <andrej.mitrovich@gmail.com> 2013-09-01 17:05:19 PDT ---
Maybe this should be marked as an enhancement, unless the spec says it's supposed to be supported. http://d.puremagic.com/issues/show_bug.cgi?id=10945 has a more elaborate example of why this feature would be useful.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------