[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
Thu Feb 16 21:24:45 PST 2012


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



--- Comment #3 from timon.gehr at gmx.ch 2012-02-16 21:24:43 PST ---
Both of those(In reply to comment #2)
> The issue is what do you make of related cases.
> 
> // not deducible
> void f(T)(Type!T) {}
> f(0);
> 
> // ?
> void f(T)(Type!T, T) {}
> f(0, 0);

Both of those should work. The enhancement demands special treatment of
templated aliases.

For example, this would work too:

template LList(T){alias Lazy!(List!T)) LList;}
alias f(T)(LList!T){}

f(new LList);

-- 
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