Class HasUninhabitedComponentsQuery

mypy/checkexpr.py:6718–6725

Visitor for querying whether a type has an UninhabitedType component.

class HasUninhabitedComponentsQuery(types.BoolTypeQuery):
    """Visitor for querying whether a type has an UninhabitedType component."""

    def __init__(self) -> None:
        super().__init__(types.ANY_STRATEGY)

    def visit_uninhabited_type(self, t: UninhabitedType) -> bool:
        return True


def has_ambiguous_uninhabited_component(t: Type) -> bool: