Fun with templates

[Timon Gehr]

On 07/06/2013 04:06 PM, Manu wrote:
> ...
>     It seems that your code works if you put the Template Type explicit:
>     ----
>     import std.stdio;
>     import std.traits : Unqual;
>
>     void foo(T)(Unqual!T a) {
>              writeln(typeof(a).stringof, " <-> ", T.stringof);
>     }
>
>     void main() {
>              int a;
>              const int b;
>              immutable int c;
>
>              //foo(c); /// Error
>              foo!(typeof(a))(a);
>              foo!(typeof(b))(b);
>              foo!(typeof(c))(c);
>     }
>     ----
>
>
> Indeed, hence my point that the type deduction is the key issue here.
> It should be possible... maybe a bit tricky though.

The key issue is that the syntax void foo(T)(Unqual!T a); denotes 
roughly the opposite of what you think it denotes. Basically, inference 
is instructed to find a T, such that Unqual!T is the argument type.