Precisely annotating ast.Constant.value

[hunterhogan]

from types import EllipsisType, NotImplementedType
from typing import TypeAlias

_Scalar: TypeAlias = bool | bytes | complex | EllipsisType | float | int | None | NotImplementedType | range | str

ScalarOrContainerOfScalar: TypeAlias = _Scalar | frozenset['ScalarOrContainerOfScalar'] | tuple['ScalarOrContainerOfScalar', ...]

1. Did I get the "scalar" types correct?
2. Does ScalarOrContainerOfScalar correctly represent the nesting?

[JelleZijlstra]

One issue here is that at runtime, these classes accept anything, and a lot of helpers like ast.dump and ast.unparse will still work. So there might be use cases where "object" is really the right type, since that includes everything you might encounter.

However, I'd focus on what types Python's parser can produce; i.e., what you can get back from ast.parse.

Then the answer is str | bytes | complex | float | int | bool | None. Relative to your list, this removes NotImplementedType, rane, and the containers; those can't show up in ast.Constant as returned by the parser.

[hunterhogan]

I feel like the annotation should reflect the valid inputs to ast.Constant rather than the current outputs of other functions.