型推論やだって言ってる奴は、
暗黙の型変換のない言語を普段使っているのか?

俺は暗黙の型変換の方がうっとうしいが。
継承関係にない型同士の暗黙の型変換はいらん。