>>141
> 君は右辺がメソッドなら型は自明じゃないと言いたげに聞こえるけどそんなことはない。
なら>>139のaの方を書いてよ

> むしろそんなケースは少ない。
根拠があるならどうぞ、ないなら君個人の経験だよね

> (1) メソッドの命名が不適切
ヒント情報ではあるけど確実じゃないよね

> (2) 返り値の型が過度に抽象的だったりその問題領域でたまにしか使われない型だったりした場合
それはたまにしか使われないから読み手が型を覚えてないってこと？
論点がちょっと違うように思う