Experiment: literally just ignore the context altogether?

Author: sterliakov

mypy/checkexpr.py

@@ -2902,6 +2902,9 @@ def infer_overload_return_type(
             assert self.msg is self.chk.msg
             with self.msg.filter_errors() as w:
                 with self.chk.local_type_map as m:
+                    # Overload selection should not depend on the context.
+                    # During this step pretend that we do not have any external information.
+                    self.type_context.append(None)
                     ret_type, infer_type = self.check_call(
                         callee=typ,
                         args=args,
@@ -2911,6 +2914,7 @@ def infer_overload_return_type(
                         callable_name=callable_name,
                         object_type=object_type,
                     )
+                    self.type_context.pop()
             is_match = not w.has_new_errors()
             if is_match:
                 # Return early if possible; otherwise record info, so we can

test-data/unit/check-overloading.test

@@ -6865,5 +6865,5 @@ def gather(*fns: object) -> int: ...
 
 def crash() -> None:
     foo: str
-    (foo,) = gather(0)
+    (foo,) = gather(0)  # E: Incompatible types in assignment (expression has type "int", variable has type "str")
 [builtins fixtures/tuple.pyi]