Missing checks:

• FIXED nonlocal cannot rebind a variable in def695 scopes
• A compiler error or runtime exception is generated if the definition of an earlier type parameter references a later type parameter even if the name is defined in an outer scope.

Also missing check:

• Disallow nested scopes (lambdas, generator expressions, and comprehensions) within PEP 695 annotation scopes that are nested within classes. Annotation scopes containing nested scopes python/cpython#109118