Frits van Bommel wrote: > Walter Bright wrote: >> The problem if it detects it in an implementation-defined manner is >> the source code is no longer portable. > > ... If the result of compilation provably won't *run* anyway, what's the > problem with a compile-time error? Nothing, it's just that the compiler cannot prove it is an error.