型アノテーションを除去し、新しく推論された型アノテーションを追加します。