MCPcopy Index your code
hub / github.com/python/mypy / is_unreachable_map

Function is_unreachable_map

mypy/checker.py:8811–8812  ·  view source on GitHub ↗
(map: TypeMap)

Source from the content-addressed store, hash-verified

8809
8810
8811def is_unreachable_map(map: TypeMap) -> bool:
8812 return any(isinstance(get_proper_type(v), UninhabitedType) for v in map.values())
8813
8814
8815def and_conditional_maps(m1: TypeMap, m2: TypeMap, *, use_meet: bool = False) -> TypeMap:

Callers 7

visit_if_stmtMethod · 0.85
visit_match_stmtMethod · 0.85
infer_variable_types_from_type_mapsMethod · 0.85
check_and_remove_capture_conflictsMethod · 0.85
narrow_type_by_identity_equalityMethod · 0.85
push_type_mapMethod · 0.85
or_conditional_mapsFunction · 0.85

Calls 4

get_proper_typeFunction · 0.90
anyFunction · 0.85
isinstanceFunction · 0.85
valuesMethod · 0.80

Tested by

no test coverage detected

Used in the wild real call sites across dependent graphs

searching dependent graphs…