Is there a way to parametrize typing.Annotateds metadata?
#2023
Unanswered
MilanStaffehl
asked this question in
Q&A
<
8000
div class="d-flex flex-items-center">
Jun 10, 2025
·
1 comments
·
1 reply
Replies: 1 comment 1 reply
-
|
Linking python/mypy#18925 for related discussion |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
Ah, thanks! Looks like the type alias approach falls flat then. I kind of expected this, but a little disappointing nonetheless. |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
I am trying to make a type that behaves as
inton type checking, but which has additional metadata on runtime (specifically for the purpose of specifying a subtype ofint).typing.Annotatedseems the obvious choice to make this work. However, I would like to create a type (alias) which allows setting the metadata of an annotatedintas a parameter.A naive first approach might look something like this:
Of course this does not work, since type checkers will see
IntMetaas onlyint, andintdoes 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?Beta Was this translation helpful? Give feedback.
All reactions