Clarification on Literal subtype behavior with arithmetic operations.

[u-harshitha007]

While reading the Literal specification, I noticed that it states
that methods from the parent type are inherited by Literal types,
and that expressions like foo + 5 result in type int.

I wanted to clarify whether this behavior is considered normative
across all type checkers, or whether tools are allowed to preserve
more precise literal information in such cases.

Thanks in advance for any clarification.

[JelleZijlstra]

It is generally not specified how precise type inference should be. In your example, if foo can be inferred to be of type Literal[10], type checkers are free to infer Literal[15] for the expression foo + 5 (and I think in practice, many do).