それはコードがhogeが具体的にどのように与えられるかによるのでコンパイラの責務では無いような。

5:20 PM

そのコードも、僕が貼ったコードも型のルールの上でコンパイル通らない理屈は無いと思うんですよね