ajout du test unitaire issue_scope.test

python · lamia-bel · Oct 9, 2025 · Oct 9, 2025 · Oct 9, 2025 · Oct 9, 2025
commit 2b1bba258d3678b3152476e52bd01040337c4ca3
diff --git a/test-data/unit/issue_scope.test b/test-data/unit/issue_scope.test
@@ -0,0 +1,17 @@
+[case testScopeOptionalIntResolution]
+from typing import Optional
+
+x: Optional[int] = None
+y: Optional[int] = None
+
+def f() -> None:
+    x = 1
+    y = 1
+    class C:
+        reveal_type(x)  # should be int
+        reveal_type(y)  # should be Optional[int]
+        x = 2
+
+[out]
+note: Revealed type is "builtins.int"
+note: Revealed type is "Union[builtins.int, None]"