Re: Template type deduced from struct ctor?

[anonymous]

On Thursday, 27 March 2014 at 17:59:36 UTC, Dicebot wrote:

struct S(T)
{
    static if (is(T == int))
    {
        this(double x) { }
    }
    static if (is(T == double))
    {
        this(int x) { }
    }
}

auto s = S(42); // should it deduce T, huh, and to what?

No, it shouldn't. You're not using T as the parameter type. Just
like T can't be deduced here:

void f(T)(double x) if(is(T == int)) {}
void f(T)(int x) if(is(T == double)) {}
f(42);