[Issue 1515] New: compiler accepts invalid template declaration

[d-bugmail at puremagic.com]

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

           Summary: compiler accepts invalid template declaration
           Product: D
           Version: 1.014
          Platform: PC
        OS/Version: Windows
            Status: NEW
          Severity: trivial
          Priority: P2
         Component: DMD
        AssignedTo: bugzilla at digitalmars.com
        ReportedBy: davidl at 126.com


template A(T)
{
        alias T type;
}
template B(T:A!(T).type)    // I think compiler should ban the use of reuse the
same type identifier in the specialization part.
{
}
//mixin B!(int);  // even though you can't instantiate the template, the
compiler can actually emit nicer message;


--