Add nested function test case

JukkaL · JukkaL · commit 87b52bce182e · 2026-04-21T17:45:33.000+01:00
diff --git a/test-data/unit/check-redefine2.test b/test-data/unit/check-redefine2.test
@@ -216,6 +216,19 @@ class C:
 
 reveal_type(x) # N: Revealed type is "None | builtins.int"
 
+[case testNewRedefineGlobalVariableNoneInit4]
+# flags: --allow-redefinition-new --local-partial-types
+x = None
+
+def f() -> None:
+    def nested() -> None:
+        global x
+        x = 1
+
+    nested()
+
+reveal_type(x) # N: Revealed type is "None | builtins.int"
+
 [case testNewRedefineGlobalVariableWithUnsupportedType]
 # flags: --allow-redefinition-new --local-partial-types
 x = 1
