Update according to requested changes

sterliakov · sterliakov · commit 871719619c74 · 2023-02-27T03:20:57.000+03:00
diff --git a/mypy/checker.py b/mypy/checker.py
@@ -4055,7 +4055,8 @@ def check_indexed_assignment(
             [nodes.ARG_POS, nodes.ARG_POS],
             context,
         )
-        if isinstance(get_proper_type(res_type), UninhabitedType):
+        res_type = get_proper_type(res_type)
+        if isinstance(res_type, UninhabitedType) and not res_type.ambiguous:
             self.binder.unreachable()
 
     def try_infer_partial_type_from_indexed_assignment(

Original file line number	Diff line number	Diff line change
`@@ -4055,7 +4055,8 @@ def check_indexed_assignment(`
`4055`	`4055`	`[nodes.ARG_POS, nodes.ARG_POS],`
`4056`	`4056`	`context,`
`4057`	`4057`	`)`
`4058`		`- if isinstance(get_proper_type(res_type), UninhabitedType):`
	`4058`	`+ res_type = get_proper_type(res_type)`
	`4059`	`+ if isinstance(res_type, UninhabitedType) and not res_type.ambiguous:`
`4059`	`4060`	`self.binder.unreachable()`
`4060`	`4061`
`4061`	`4062`	`def try_infer_partial_type_from_indexed_assignment(`