ContextQMD
Back to Ruff

Narrowing for `not` conditionals

crates/ty_python_semantic/resources/mdtest/narrow/conditionals/not.md

0.15.14559 B
Original Source

Narrowing for not conditionals

The not operator negates a constraint.

not is None

py
from typing import Literal

def _(x: Literal[1] | None):
    if not x is None:
        reveal_type(x)  # revealed: Literal[1]
    else:
        reveal_type(x)  # revealed: None

    reveal_type(x)  # revealed: Literal[1] | None

not isinstance

py
from typing import Literal

def _(x: Literal[1, "a"]):
    if not isinstance(x, (int)):
        reveal_type(x)  # revealed: Literal["a"]
    else:
        reveal_type(x)  # revealed: Literal[1]