mypy loses information about types. 'str | tuple[str, ...]' becomes 'Sequence[str]'

Bug Report

mypy loses information about types. 'str | tuple[str, ...]' becomes 'Sequence[str]'

To Reproduce

version 1: this fails

from typing import TypeVar

T = TypeVar('T')

def unwrap(x: T | None) -> T:

  assert x is not None

  return x

class Qux:

    def foo(self) -> str | tuple[str, ...]:

        baz = unwrap(self.bar())

        return baz

    def bar(self) -> str | tuple[str, ...] | None:

        return 'quux'

version 2: this works

class Qux:

    def foo(self) -> str | tuple[str, ...]:

        baz = self.bar()

        assert baz is not None

        return baz

    def bar(self) -> str | tuple[str, ...] | None:

        return 'quux'

Expected Behavior

both versions of code should run successfully

Actual Behavior

version 2 fails with the following error: 'Incompatible return value type (got "Sequence[str]", expected "str | tuple[str, ...]") [return-value]'

Your Environment

mypy version: 1.15.0
python version: 3.12

reproducible even the mypy playground

Beginne mit den beiden eigenständigen Reproduktionen im Issue und führe sie im verlinkten mypy playground mit mypy 1.15.0 und Python 3.12 aus. Vergleiche den über unwrap zurückgegebenen inferierten Typ mit dem Fall der direkten Eingrenzung; abgeschlossen ist die Aufgabe, wenn beide Versionen ohne den Fehler bezüglich eines inkompatiblen Rückgabewerts typgeprüft werden und dabei die deklarierte Union erhalten bleibt.