Re: UFCS call and regular call behaves differently with alias parameter

[Timon Gehr]

On 06/17/2012 06:14 PM, Jacob Carlborg wrote:
The following code shows that depending on how a function is called,
UFCS or regular syntax, the type of T is inferred differently. If I
remove the alias parameter the code behaves as expected.
string foo (alias p, T) (T t)
{
     return typeof(t).stringof;
}

void main ()
{
     string[string] aa;

     auto x = foo!(3 > 4)(aa);
     auto y = aa.foo!(3 > 4);

     assert(x == y);

     writeln("x=", x);
     writeln("y=", y);
}

In the above code the assert is triggered. If I remove the assert the
code prints:

x=string[string]
y=AssociativeArray!(string,string)

--
/Jacob Carlborg

This should go straight to the bug tracker. User code is not supposed to 
see the AssociativeArray rewrite.