April 19, 2022
7:17 p.m.
What's difference between your proposed A, var: Literal = 1 vs var: Final = 1? Final when used with literal compatible type infers a type of Literal. So reveal_type(var) on second case is already Literal[1].