Template type deduced from struct ctor?

[Dicebot]

On Thursday, 27 March 2014 at 17:42:24 UTC, Luís Marques wrote:
> Could this be made to work?
>
>     struct S(T)
>     {
>         T x;
>
>         this(T x)
>         {
>             this.x = x;
>         }
>     }
>
>     void main()
>     {
>         int x = 42;
>         auto s = S(x); // fails to deduce T
>     }

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?

I believe it could work but too many complexities arise that need 
to be figured out, especially with overloading in mind so it is 
hardly worth the effort.