We support basic PEP695 syntax, which includes writing generic type variables, param spec and type var tuples in the new style. We also support bounds. Let us list some sandbox examples:
1- Generic type variables for classes and methods, with bounds
2- Generic type variables for functions
3- ParamSpec
4- TypeVarTuple
5- Type Statements
6- Fully conformant bound checking
What are we not conformant on?
1- Mixing legacy and PEP695 syntax
2- PEP695 variables cannot be used in the same way that legacy style syntax when it comes to declaring them
3- We have to keep track type variable redefinitions within the program itself