Add a test for accidental discord.py fix

python · ilevkivskyi · Apr 14, 2026 · Mar 27, 2026 · Mar 27, 2026 · Mar 27, 2026
commit 0ddd940a9b329ea6b3873b487bdfd4a553963f57
diff --git a/test-data/unit/check-functions.test b/test-data/unit/check-functions.test
@@ -3768,3 +3768,11 @@ class C:
 
 def defer() -> int:
     return 1
+
+[case testNarrowingForDefaultInInnerFunction]
+from typing import Optional
+
+def outer(x: Optional[float]) -> None:
+    if x is not None:
+        def inner(y: float = x) -> None: ...  # OK
+    def bad(y: float = x) -> None: ...  # E: Incompatible default for parameter "y" (default has type "float | None", parameter has type "float")