Experiment: assign deferred Anys

Author: ilevkivskyi

mypy/binder.py

@@ -385,7 +385,7 @@ def assign_type(self, expr: Expression, type: Type, declared_type: Type | None)
 
         p_declared = get_proper_type(declared_type)
         p_type = get_proper_type(type)
-        if isinstance(p_type, AnyType):
+        if isinstance(p_type, AnyType) and not p_type.is_special_form:
             # Any type requires some special casing, for both historical reasons,
             # and to optimise user experience without sacrificing correctness too much.
             if isinstance(expr, RefExpr) and isinstance(expr.node, Var) and expr.node.is_inferred:

test-data/unit/check-unreachable-code.test

@@ -630,7 +630,7 @@ class Child(Parent):
 
     def bar(self) -> int:
         if 1:
-            self = super(Child, self).something()
+            # self = super(Child, self).something()
             reveal_type(self)       # N: Revealed type is "__main__.Child"
             if self is None:
                 reveal_type(self)