ambiguousになる場合を除いて、同じ式を型アノテートして型チェックが通せる場合に

8:22 AM

型アノテートが無い場合でも必ず型チェックが通る

8:22 AM

っていうのが型推論器の規約なら、バグって話になると思います

8:23 AM

計算量を考慮して特殊なケースでサボる仕様なら仕様で

8:23 AM

いずれにせよ報告してみないと確定しないやつだと思います