Literal typeguard

Feature

Infer str is an instance of Literal based on code path:

from typing import Literal


def f(x: Literal["a", "b"]):
    ...


def g(x: str):
    if x == "a":
        ...
    elif x == "b":
        ...
    else:
        raise ValueError()
    f(x) # ERROR: "f" has incompatible type "str"; expected "Union[Literal['a'], Literal['b']]"

Mypy reports error for the above code, but x is actually an instance of Literal["a", "b"], because all values other than "a" or "b" raises ValueError.
Pyright, one of type checkers, can infer this code has no problem.

Beginne mit dem Python-Reproduzierer im Issue und vergleiche das Ergebnis von mypy mit dem beschriebenen Pyright-Verhalten. Es werden keine Quelldateien oder Tests genannt, daher gehört es zur Arbeit, die relevante Implementierung zur Typ-Eingrenzung und die bestehenden Testkonventionen zu finden. Als erledigt gilt die Aufgabe, wenn der Aufruf von f(x) nach den erschöpfenden Prüfungen akzeptiert wird, während andere Pfade weiterhin korrekt behandelt werden.