On Sun, 30 Jun 2013 21:56:21 -0400, Timon Gehr <timon.g...@gmx.ch> wrote:

The described strategy can easily result in non-termination, and which template instantiations it performs can be non-obvious.

auto foo(T)(T arg){
     static if(is(T==int)) return 1.0;
     else return 1;
}

void main(){
     auto x;
     x = 1;
     x = foo(x);
}

Ouch!  That is better than Walter's case :)

-Steve

Reply via email to