>>669
コンパイラが行った型推論とおまえがこうなるだろうと推論した結果が同じとは限らない。
それがもし同じなら、おまえの書いたコードは常におまえが考えたとおりに動くのでこの世にバグなんてものは存在しなくなる。

おまえが端折った思考はいくつかはバグとして顕在化する。つまりおまえは典型的な使えないPG。