Fix expr-has-type-any error following attribute access with disallow-any-expr flag (#7898)

Resolves #5842

Author: TH3CHARLie

mypy/checkexpr.py

@@ -3616,7 +3616,7 @@ def accept(self,
                 not always_allow_any and
                 not self.chk.is_stub and
                 self.chk.in_checked_function() and
-                has_any_type(typ)):
+                has_any_type(typ) and not self.chk.current_node_deferred):
             self.msg.disallowed_any_type(typ, node)
 
         if not self.chk.in_checked_function() or self.chk.current_node_deferred:

test-data/unit/check-classes.test

@@ -6489,3 +6489,26 @@ reveal_type(Foo().y)  # N: Revealed type is 'builtins.list[Any]'
 class Foo:
     def bad():  # E: Method must have at least one argument
         self.x = 0  # E: Name 'self' is not defined
+
+[case testTypeAfterAttributeAccessWithDisallowAnyExpr]
+# flags: --disallow-any-expr
+
+def access_before_declaration(self) -> None:
+    obj = Foo('bar')
+    obj.value
+    x = 1
+
+    reveal_type(x)  # N: Revealed type is 'builtins.int'
+    x = x + 1
+
+class Foo:
+    def __init__(self, value: str) -> None:
+        self.value = value
+
+def access_after_declaration(self) -> None:
+    obj = Foo('bar')
+    obj.value
+    x = 1
+
+    reveal_type(x)  # N: Revealed type is 'builtins.int'
+    x = x + 1