>>798
これは、Intに特定されない限りHogeはTTTとは認められない
だからIntに特定されるまで私は推論を停止する

というコンパイラの主張なのでしょうか?