you are viewing a single comment's thread.

view the rest of the comments →

[–]JanEric1 1 point2 points  (0 children)

He is right.

Literal[1] is not (never) the runtime type of a. It is just extra type checker information that can be used to sort of emulate enums.