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.
