そうなんですね。コンパイルエラーにしないのはできるかもしれないけど、そうすると型推論などのそれ以前の処理に大きく影響する恐れがあると。