[Issue 7529] IFTI does not support template argument dependent template alias instances as parameter types

d-bugmail at puremagic.com d-bugmail at puremagic.com
Fri Feb 17 08:45:00 PST 2012


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



--- Comment #17 from dawg at dawgfoto.de 2012-02-17 08:44:58 PST ---
>IFTI matching already works that way.
No it does not.

With IFTI and structs you recursively match template arguments.
Foo!(Bar!(Baz!T)))
Foo!(Bar!(Baz!int)))

With the alias you need to instantiate the template, probably using a bottom
type and then do the above.
Foo!(Bar!(Baz!(T))) => Result!T
Result!int

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


More information about the Digitalmars-d-bugs mailing list