False positive when assigning bounded generic to union including the bound

The following example is type-safe, but mypy reports 6 false positives:

• pyright playground: no errors
• pyrefly sandbox: no errors
• mypy playground: 6 false positives
• ty playground: 2 false positives (#2314)

def upcast(arg: int) -> int:
    return arg

def test[X: int](items: list[X]) -> list[X]:
    _a: list[int] = list(items)           # ✅️
    _b: list[int] = [*items]              # ✅️
    _c: list[int] = [x for x in items]    # ✅️

    _1: list[str] | list[int] = list(items)         # ❌️
    _2: list[int] | list[str] = list(items)         # ❌️
    _3: list[str] | list[int] = [*items]            # ❌️
    _4: list[int] | list[str] = [*items]            # ❌️
    _5: list[str] | list[int] = [x for x in items]  # ❌️
    _6: list[int] | list[str] = [x for x in items]  # ❌️
    _7: list[str] | list[int] = [upcast(x) for x in items]  # ✅️
    _8: list[int] | list[str] = [upcast(x) for x in items]  # ✅️
    return items

context: https://github.com/python/mypy/pull/20419#discussion_r2658824097

Commencez par le mypy playground lié et reproduisez l’exemple de génériques bornés, en comparant ses six diagnostics avec ceux des autres vérificateurs de types. C’est terminé lorsque les six affectations d’union sont acceptées sans modifier les cas déjà acceptés ni introduire de nouvelles erreurs.