Add match statement test case

mypy/renaming.py

@@ -452,20 +452,6 @@ def visit_import_from(self, imp: ImportFrom) -> None:
     def visit_import_all(self, imp: ImportAll) -> None:
         self.record_bad('*')
 
-    #def visit_match_stmt(self, s: MatchStmt) -> None:
-    #    for i in range(len(s.patterns)):
-    #        s.patterns[i].accept(self)
-    #        guard = s.guards[i]
-    #        if guard is not None:
-    #            guard.accept(self)
-    #        # We already entered a block, so visit this block's statements directly
-    #        for stmt in s.bodies[i].body:
-    #            stmt.accept(self)
-
-    #def visit_capture_pattern(self, p: AsPattern) -> None:
-    #    if p.name is not None:
-    #        self.analyze_lvalue(p.name)
-
     def analyze_lvalue(self, lvalue: Lvalue) -> None:
         if isinstance(lvalue, NameExpr):
             name = lvalue.name

test-data/unit/check-python310.test

@@ -1175,3 +1175,44 @@ def foo(value) -> int:  # E: Missing return statement
       return 1
     case 2:
       return 2
+
+[case testWithStatementScopeAndMatchStatement]
+from m import A, B
+
+with A() as x:
+    pass
+with B() as x: \
+    # E: Incompatible types in assignment (expression has type "B", variable has type "A")
+    pass
+
+with A() as y:
+    pass
+with B() as y: \
+    # E: Incompatible types in assignment (expression has type "B", variable has type "A")
+    pass
+
+with A() as z:
+    pass
+with B() as z: \
+    # E: Incompatible types in assignment (expression has type "B", variable has type "A")
+    pass
+
+with A() as zz:
+    pass
+with B() as zz: \
+    # E: Incompatible types in assignment (expression has type "B", variable has type "A")
+    pass
+
+match x:
+    case str(y) as z:
+        zz = y
+
+[file m.pyi]
+from typing import Any
+
+class A:
+    def __enter__(self) -> A: ...
+    def __exit__(self, x, y, z) -> None: ...
+class B:
+    def __enter__(self) -> B: ...
+    def __exit__(self, x, y, z) -> None: ...