Add failing test case

python · JukkaL · Mar 7, 2022 · Oct 13, 2021 · Oct 16, 2021 · Oct 16, 2021
commit a79c4c277eaef09199ebe3ec06e369b03b4a15e8
diff --git a/test-data/unit/check-python310.test b/test-data/unit/check-python310.test
@@ -1442,6 +1442,19 @@ def g(c: C) -> int:
             return 1
     assert False
 
+[case testMatchAsPatternIntersection-skip]
+class A: pass
+class B: pass
+class C: pass
+
+def f(x: A) -> None:
+    match x:
+        case B() as y:
+            reveal_type(y)  # N: Revealed type is "__main__.<subclass of "A" and "B">"
+        case C() as y:
+            reveal_type(y)  # N: Revealed type is "__main__.<subclass of "A" and "C">"
+    reveal_type(y)  # N: Revealed type is "Union[__main__.<subclass of "A" and "B">, __main__.<subclass of "A" and "C">]"
+
 -- Misc
 
 [case testMatchAndWithStatementScope]