Currently conditional compilation would stop IFTI.
template foo(T)
{
static if (is(T == int))
void foo(T) {}
}
void main()
{
foo(1); // shouldn't work
}
Same as above, DIP40 should prevent following case.
template foo(T)
{
struct foo
{
static if (is(T == int))
this(T) {}
}
}
void main()
{
foo(1); // also should not work
}
Kenji Hara
2013/5/14 Timothee Cour <[email protected]>
> Thanks for the feedback, I've clarified the deduction mechanism and
> show how it falls back to normal function template deduction.
>
