型推論って変数の型を推論するの?それともオブジェクト?