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

[d-bugmail at puremagic.com]

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



--- Comment #16 from timon.gehr at gmx.ch 2012-02-17 08:06:44 PST ---
(In reply to comment #13)
> MidAir collision but thanks for the clarification.
> 
> Most of those cases can be handled by aliasing
> the template declaration rather than the instance.
> 
> alias Foo Alias;
> void foo(T)(Alias!T x){ pragma(msg, T); }
> foo(Foo!int.init);
> 
> Which wouldn't work for recursion.
> template D(T){alias Foo!(Bar!(Qux!T)) D;}
> 
> It seems to me that what you want is an AST macro not a template expansion.

IFTI matching already works that way.

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