To add to this, you could potentially consider `typing.NewType` as precedent. Whilst it is an introspectable class at runtime, `NewType.__call__` is just also just a no-op and only gains meaning when a type checker is applied. (forgive the bad example) ``` Volume = NewType("Volume", int) type(N) # <class 'typing.NewType'> tv_volume = Volume(50) type(tv_volume) # <class `int`> ``` On Mon, Jan 17, 2022 at 7:19 PM Eric Traut <eric@traut.com> wrote:
It's similar to `typing.cast`, which is part of stdlib. The `cast` call acts as a no-op at runtime but has special meaning to type checkers. _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: capruce@gmail.com