We should implement PEP-695. Some discussion of the implementation is at https://github.com/erictraut/cpython/issues. I will open a draft PR momentarily.

TODO:

• Evaluate TypeAlias values
• Lazy evaluation for TypeVar bounds
• More tests
• Fix remaining tests in test_typing.py

Linked PRs

• gh-103763: Implement PEP 695 #103764