Skip to content

Commit 8f545ea

Browse files
fix todo
1 parent d8bb65d commit 8f545ea

File tree

1 file changed

+1
-2
lines changed

1 file changed

+1
-2
lines changed

pyrefly/lib/test/contextual.rs

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -265,7 +265,6 @@ x2: list[A] = True and [B()]
265265
);
266266

267267
testcase!(
268-
bug = "x or y or ... fails due to union hints, see test_contextual_typing_against_unions",
269268
test_context_boolop_soft,
270269
r#"
271270
from typing import TypedDict, assert_type
@@ -279,7 +278,7 @@ def test(x: list[A] | None, y: list[C] | None, z: TD | None) -> None:
279278
assert_type(x or [B()], list[A])
280279
assert_type(x or [0], list[A] | list[int])
281280
assert_type(x or y or [B()], list[A] | list[C])
282-
assert_type(x or y or [D()], list[A] | list[C]) # TODO # E: assert_type(list[A] | list[C] | list[D], list[A] | list[C]) failed
281+
assert_type(x or y or [D()], list[A] | list[C])
283282
assert_type(z or {"x": 0}, TD)
284283
assert_type(z or {"x": ""}, TD | dict[str, str])
285284
"#,

0 commit comments

Comments
 (0)