Is there a way to parametrize typing.Annotateds metadata?

[MilanStaffehl]

I am trying to make a type that behaves as int on type checking, but which has additional metadata on runtime (specifically for the purpose of specifying a subtype of int). 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 annotated int as a parameter.

A naive first approach might look something like this:

from typing import TypeVar, 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 see IntMeta as only int, and int does not take any type parameters.

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

[brianschubert]

Linking python/mypy#18925 for related discussion

[MilanStaffehl]

Ah, thanks! Looks like the type alias approach falls flat then. I kind of expected this, but a little disappointing nonetheless.