コンパイラに何を望んでるの？
何が言いたいの？

勝手に型推論されると困る箇所は、明示的に定義するで済む話じゃない？

それとも、宣言より、後で出てきた命令も、
型推論の対象にしろと言っているの？

論点は何？