I am trying to make a type that behaves asint on type checking, but which has additional metadata on runtime (specifically for the purpose of specifying a subtype ofint).typing.Annotated seems the obvious choice to make this work. However, I would like to create a type (alias) which allows setting the metadata of an annotatedint as a parameter.

A naive first approach might look something like this:

fromtypingimportTypeVar,Annotated,TypeAlias,Literal_RuntimeType_co=TypeVar("_RuntimeType_co",covariant=True,bound=int,default=int)IntMeta:TypeAlias=Annotated[int,_RuntimeType_co]custom_int:IntMeta[Literal[2]]=2

Of course this does not work, since type checkers will seeIntMeta as onlyint, andint does not take any type parameters.

So, my question: is this possible in any way - whether usingAnnotated, or a custom type, or any other way?