more

Author: hauntsaninja

test-data/unit/check-python310.test

@@ -3238,3 +3238,76 @@ match config:
     case {"a": 1, **rest}:  # E: Incompatible types in capture pattern (pattern captures type "dict[str, object]", variable has type "list[int]")
         ...
 [builtins fixtures/dict.pyi]
+
+[case testMatchTypeNarrowing]
+# flags: --warn-unreachable
+import builtins
+import typing
+import types
+
+def type_bare(field_type: type) -> str:
+    match field_type:
+        case builtins.int:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.int"
+            ret = "foo"
+        case builtins.str:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.str"
+            ret = "foo"
+        case builtins.bytes:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.bytes"
+            ret = "foo"
+        case builtins.bool:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.bool"
+            ret = "foo"
+        case types.NoneType:
+            reveal_type(field_type)  # N: Revealed type is "type[None]"
+            ret = "foo"
+        case _:
+            reveal_type(field_type)  # N: Revealed type is "builtins.type"
+            return "bar"
+    return ret
+
+def type_any(field_type: type[typing.Any]) -> str:
+    match field_type:
+        case builtins.int:
+            reveal_type(field_type)  # N: Revealed type is "type[Any]"
+            ret = "foo"
+        case builtins.str:
+            reveal_type(field_type)  # N: Revealed type is "type[Any]"
+            ret = "foo"
+        case builtins.bytes:
+            reveal_type(field_type)  # N: Revealed type is "type[Any]"
+            ret = "foo"
+        case builtins.bool:
+            reveal_type(field_type)  # N: Revealed type is "type[Any]"
+            ret = "foo"
+        case types.NoneType:
+            reveal_type(field_type)  # N: Revealed type is "type[None]"
+            ret = "foo"
+        case _:
+            reveal_type(field_type)  # N: Revealed type is "type[Any]"
+            return "bar"
+    return ret
+
+def type_object(field_type: type[object]) -> str:
+    match field_type:
+        case builtins.int:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.int"
+            ret = "foo"
+        case builtins.str:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.str"
+            ret = "foo"
+        case builtins.bytes:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.bytes"
+            ret = "foo"
+        case builtins.bool:
+            reveal_type(field_type)  # N: Revealed type is "def () -> builtins.bool"
+            ret = "foo"
+        case types.NoneType:
+            reveal_type(field_type)  # N: Revealed type is "type[None]"
+            ret = "foo"
+        case _:
+            reveal_type(field_type)  # N: Revealed type is "type[builtins.object]"
+            return "bar"
+    return ret
+[builtins fixtures/dict.pyi]