Bug 12077 – Instantiated type does not match to the specialized alias parameter

Status
RESOLVED
Resolution
FIXED
Severity
normal
Priority
P2
Component
dmd
Product
D
Version
D2
Platform
All
OS
All
Creation time
2014-02-05T00:22:00Z
Last change time
2014-02-25T19:54:04Z
Keywords
pull, rejects-valid
Assigned to
nobody
Creator
k.hara.pg
Blocks
10502

Comments

Comment #0 by k.hara.pg — 2014-02-05T00:22:51Z
This should work, but doesn't. template TemplateOf(alias T : Base!Args, alias Base, Args...) { alias TemplateOf = Base; } void main() { struct Foo5(A) {} alias F = TemplateOf!(Foo5!int); }
Comment #1 by k.hara.pg — 2014-02-05T00:40:55Z
Comment #2 by k.hara.pg — 2014-02-25T19:54:04Z