>>139
「型が自明」って言うのは右辺の式を見ただけでその型が分かるって意味だよね？

君は右辺がメソッドなら型は自明じゃないと言いたげに聞こえるけどそんなことはない。
むしろそんなケースは少ない。

では型が自明じゃないケースというのは、

(1) メソッドの命名が不適切
(2) 返り値の型が過度に抽象的だったりその問題領域でたまにしか使われない型だったりした場合

(1)は改名で改善できるけど(2)はどうやっても不可避な場合がある。