www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 6269] New: aliasing in IsExpression doesn't work when used inside a template constraint

reply d-bugmail puremagic.com writes:
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: -------
Jul 08 2011
next sibling parent d-bugmail puremagic.com writes:
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: -------
Sep 01 2013
prev sibling parent d-bugmail puremagic.com writes:
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: -------
Sep 01 2013