Unclear when Join is picked vs Union in upcast operation.

I noticed some rather erratic behavior when sometimes it picks union and other times the join.

from typing import Iterable

class A: ...
class B: ...
class C: ...

def upcast[T](arg: Iterable[T]) -> Iterable[T]: return arg

def test_builtin(x: tuple[int, str, None]) -> None:
    reveal_type(upcast(x))  # Iterable[str | int | None]

def test_custom(x: tuple[A, B, C]) -> None:
    reveal_type(upcast(x))  # Iterable[object]

def test_mixed1(x: tuple[A, str, None]) -> None:
    reveal_type(upcast(x))  # Iterable[str | A | None]

def test_mixed2(x: tuple[int, str, C]) -> None:
    reveal_type(upcast(x))  # Iterable[object]

https://mypy-play.net/?mypy=latest&python=3.12&gist=833674a36174c4140a89645b609da8a9

リンクされた mypy-play のセットアップで4つの例を再現し、まず upcast 呼び出しとその reveal_type の結果から始めます。union または object join を選択する型推論の経路を追跡し、その後、意図された一貫した動作を定義して、これらの例に対して検証します。