On my recent question on twitter I asked how this piece of code would behave in case of built-in arithmetic types (which I inaccurately referred to as basic numeric types): template<typename T> T f() { T t{}; while (t < t+1) { t++; } return t; } The question is more complex than it seems. …