Merge branch 'master' into enableallow

Author: hauntsaninja

mypy/checker.py

@@ -3152,13 +3152,6 @@ def visit_block(self, b: Block) -> None:
             self.binder.unreachable()
             return
         for s in b.body:
-            # If we export types, we need to continue checking to make sure all
-            # expressions are present in type map (even if most have type Any).
-            if self.current_node_deferred and not self.options.export_types:
-                # With current deferral logic there is no point continuing to
-                # type-check current function, as we will not infer more types,
-                # will not show errors, and each expression is inferred as Any.
-                return
             if self.binder.is_unreachable():
                 if not self.should_report_unreachable_issues():
                     break
@@ -4830,7 +4823,6 @@ def check_simple_assignment(
                 and inferred is not None
                 and inferred.type is not None
                 and not inferred.is_final
-                and not self.current_node_deferred
             ):
                 new_inferred = remove_instance_last_known_values(rvalue_type)
                 # Should we widen the inferred type or the lvalue? Variables defined