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

Reply via email to