Function conditional_types

mypy/checker.py:8555–8562

(
    current_type: Type,
    proposed_type_ranges: list[TypeRange] | None,
    default: None = None,
    *,
    consider_runtime_isinstance: bool = True,
    from_equality: bool = False,
)

@overload
def conditional_types(
    current_type: Type,
    proposed_type_ranges: list[TypeRange] | None,
    default: None = None,
    *,
    consider_runtime_isinstance: bool = True,
    from_equality: bool = False,
) -> tuple[Type | None, Type | None]: ...


@overload