わざわざ宣言した行まで戻って型確認するのか