Class TypeRange

mypy/checker_shared.py:45–48

# An object that represents either a precise type or a type with an upper bound;
# it is important for correct type inference with isinstance.
class TypeRange:
    def __init__(self, item: Type, is_upper_bound: bool) -> None:
        self.item: Final = item
        self.is_upper_bound: Final = is_upper_bound  # False => precise type


@trait