testing is done without any comments, want to make sure it passes bef…

…ore merging and commenting
python · Malika1109 · Dec 1, 2023 · Dec 1, 2023 · Dec 1, 2023 · Dec 1, 2023
commit 4420ed81807898b34d62dcc5785bfb51e1b50b87
diff --git a/test-data/unit/check-in-exhaustive-checking.test b/test-data/unit/check-in-exhaustive-checking.test
@@ -1 +1,21 @@
-[case testInExhaustiveChecking]
+[case testInExhaustiveChecking]
+
+[builtins fixtures/tuple.pyi]
+from typing_extensions import NoReturn
+from enum import Enum
+from typing_extensions import assert_never
+
+class MyEnum(Enum):
+    A = 1
+    B = 2
+    C = 3 
+
+def test_function(a: MyEnum) -> bool:
+    if a == MyEnum.A:
+        return True
+    elif a in (MyEnum.B, MyEnum.C):
+        return False
+    assert_never(a)
+
+test_function(MyEnum.A)
+# E: Argument 1 to "assert_never" has incompatible type "Literal[MyEnum.B, MyEnum.C]"; expected "NoReturn"