最終的に左辺値の型が決まっているところに突っ込めればなんとかなりますね。