File tree Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -1520,6 +1520,24 @@ match m:
15201520
15211521[builtins fixtures/tuple.pyi]
15221522
1523+ [case testMatchLiteralPatternEnumFunctional]
1524+ from enum import Enum
1525+ from typing import NoReturn
1526+ def assert_never(x: NoReturn) -> None: ...
1527+
1528+ Medal = Enum('Medal', 'gold silver bronze')
1529+ m: Medal
1530+
1531+ match m:
1532+ case Medal.gold:
1533+ reveal_type(m) # N: Revealed type is "Literal[__main__.Medal.gold]"
1534+ case Medal.silver:
1535+ reveal_type(m) # N: Revealed type is "Literal[__main__.Medal.silver]"
1536+ case Medal.bronze:
1537+ reveal_type(m) # N: Revealed type is "Literal[__main__.Medal.bronze]"
1538+ case _ as unreachable:
1539+ assert_never(unreachable)
1540+
15231541[case testMatchLiteralPatternEnumCustomEquals-skip]
15241542from enum import Enum
15251543class Medal(Enum):
You can’t perform that action at this time.
0 commit comments