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

Empieza con el mypy playground enlazado y reproduce el ejemplo de genéricos acotados, comparando sus seis diagnósticos con los de los demás comprobadores de tipos. Se considera terminado cuando se aceptan las seis asignaciones de unión sin cambiar los casos que ya se aceptan ni introducir nuevos errores.