[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 #15 from timon.gehr at gmx.ch 2012-02-17 08:05:50 PST ---
(In reply to comment #14)
> 
> OK?
> 

Yes.

> -----
> There is some problems about this enhancement.
> 
> 1) This enhancement requires adding a phase to expanding eponymous templates
> used as function parameter type. This makes IFTI process more complicate.
> 

It can presumably be done while semantically analyzing the parameter types.

> 2) Some eponymous templates are not one liner.
> 
> template X(T) {
>    template Y(U) { ... }  // massive type calculation
>    alias Y!T X;   // also eponymous template
> }
> void foo(T)(X!T) { ... }
> 
> Should compiler calculate T from X!T? It is almost impossible!
> 

It shouldn't, because it *is* impossible.

> If it only works with one-linear eponymous template, it is less benefit than
> the semantic complexity.

I disagree. There is almost no semantic complexity.

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