Movatterモバイル変換


[0]ホーム

URL:


Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Sign up
Appearance settings

Commit64d953d

Browse files
authored
Fix merge race (#20412)
1 parent007d6de commit64d953d

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

‎test-data/unit/check-python310.test‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1795,7 +1795,7 @@ def test1(x: Literal[1,2,3]) -> None:
17951795
case 1:
17961796
reveal_type(x) # N: Revealed type is "Literal[1]"
17971797
case other:
1798-
reveal_type(x) # N: Revealed type is "Union[Literal[2],Literal[3]]"
1798+
reveal_type(x) # N: Revealed type is "Literal[2] |Literal[3]"
17991799

18001800
def test2(x: Literal[1,2,3]) -> None:
18011801
match x:
@@ -1811,7 +1811,7 @@ def test2(x: Literal[1,2,3]) -> None:
18111811
def test3(x: Literal[1,2,3]) -> None:
18121812
match x:
18131813
case 1 | 3:
1814-
reveal_type(x) # N: Revealed type is "Union[Literal[1],Literal[3]]"
1814+
reveal_type(x) # N: Revealed type is "Literal[1] |Literal[3]"
18151815
case other:
18161816
reveal_type(x) # N: Revealed type is "Literal[2]"
18171817

0 commit comments

Comments
 (0)

[8]ページ先頭

©2009-2025 Movatter.jp