@koher が今やった実験からして、もしSwiftにとって数値リテラルとしてインポートされてるなら、それが型推論おもすぎケースになるようだ。