Bug 12263 – Specialized template parameter incorrectly fail to match to the same name template.
Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P2
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2014-02-25T23:10:00Z
Last change time
2014-02-27T00:53:00Z
Keywords
pull, rejects-valid
Assigned to
nobody
Creator
k.hara.pg
Comments
Comment #0 by k.hara.pg — 2014-02-25T23:10:22Z
Test case:
template A(alias a) { int x; }
template B(alias a) { int x; }
template fqnSym(alias T : B!A, alias B, A...)
{
enum fqnSym = "match";
}
// A!Object matches to B!A
pragma(msg, fqnSym!(A!(Object)));
// But, B!Object does not match to B!A
pragma(msg, fqnSym!(B!(Object)));