test: add unit test for capture pattern narrowing

python · Nov 18, 2024 · a017ea5 · a017ea5
1 parent b23b85b
commit a017ea5
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test-data/unit/check-python310.test b/test-data/unit/check-python310.test
@@ -8,6 +8,16 @@ match m:
     case a:
         reveal_type(a)  # N: Revealed type is "__main__.A"
 
+[case testMatchCapturePatternNarrows]
+x: int | None
+y: int
+
+match x:
+    case None:
+        pass
+    case y:
+        reveal_type(y) # N: Revealed type is "builtins.int"
+
 -- Literal Pattern --
 
 [case testMatchLiteralPatternNarrows]