This is probably too much, but maybe...

Author: sterliakov

mypy/checkexpr.py

@@ -3007,6 +3007,20 @@ def maybe_bind_self(t: Type) -> Type:
                 self.chk.store_types(type_maps[0])
                 return erase_type(return_types[0]), maybe_bind_self(erase_type(inferred_types[0]))
             else:
+                erased_non_any = [
+                    (r, inf)
+                    for r, inf in zip(return_types, inferred_types)
+                    if not isinstance(get_proper_type(r), AnyType)
+                ]
+                if (
+                    len(erased_non_any) == 1
+                    or len(erased_non_any) > 1
+                    and all_same_types([erase_type(r) for r, _ in erased_non_any])
+                ):
+                    self.chk.store_types(type_maps[0])
+                    r, inf = erased_non_any[0]
+                    return erase_type(r), maybe_bind_self(erase_type(inf))
+
                 return self.check_call(
                     callee=AnyType(TypeOfAny.special_form),
                     args=args,