What new typing features arrived in recent Python versions?

Recent versions added the new generic syntax via PEP 695 in 3.12, the typing.override decorator for explicit method overriding, typing.TypeIs for type narrowing with stricter semantics than TypeGuard, ReadOnly for TypedDict fields, and many improvements to the type system to align with what type checkers already support.