From f79d8335bdf204dc73c60faddc55499850eaf31e Mon Sep 17 00:00:00 2001 From: Bhuvansh855 Date: Tue, 7 Apr 2026 00:05:06 +0530 Subject: [PATCH] Add test for nested Optional behavior --- .../tests/specialtypes_optional_nested.py | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 conformance/tests/specialtypes_optional_nested.py diff --git a/conformance/tests/specialtypes_optional_nested.py b/conformance/tests/specialtypes_optional_nested.py new file mode 100644 index 000000000..dec487043 --- /dev/null +++ b/conformance/tests/specialtypes_optional_nested.py @@ -0,0 +1,16 @@ +""" +Tests for behavior of nested Optional types collapsing. + +Optional[Optional[T]] should behave as Optional[T]. +""" + +from typing import Optional, assert_type + + +def test_nested_optional(x: Optional[Optional[int]]) -> None: + # Should behave like Optional[int] + assert_type(x, Optional[int]) + + +def test_nested_optional_error(x: Optional[Optional[int]]) -> int: + return x # E