オーバーロードの候補解決と型推論が関係していて

8:31 AM

「どのオーバーロードを呼び出すか」っていう選択肢は型推論システムに対して提供されるんですけど

8:32 AM

「あるオーバーロードを呼び出す時に引数のラベルマッチングをどうするか」っていう選択肢は提供されなくて、型推論システムにとっては、どのオーバーロードを呼び出すかを考える時点でラベルマッチングは固定済みなんですよね

8:34 AM

8:34 AM

今回は in: ラベルで重複していますけど

8:34 AM

もっと一般的な問題としてはラベル無しの場合を考えるとよくて、（ラベル無しはラベル文字列が "" の場合として同じ理屈になる）