I promised somewhere to write the typing section of the 3.11 What's New.

Here's what needs to be covered:

• PEP 646 (TypeVarTuple, Unpack)
• PEP 655 (Required/NotRequired)
• PEP 673 (Self)
• PEP 675 (LiteralString)
• (if accepted) PEP 681 (dataclass_transform)
• typing.reveal_type()
• typing.Never
• typing.assert_never()
• typing.assert_type()
• Improved introspection:@Final,@overload
• Runtime changes:bpo-44807: Allow Protocol classes to define __init__ #31628,bpo-46998: Allow subclassing Any at runtime #31841,bpo-46981: Remove typing._TypingEmpty #31836,bpo-46644: Remove callable() requirement from typing._type_check #31151,bpo-41370: Evaluate strings as forward refs in PEP 585 generics #30900,bpo-46195: Do not addOptional inget_type_hints #30304,bpo-46571: improvetyping.no_type_check to skip foreign objects #31042,bpo-46066: Deprecate kwargs syntax for TypedDict definitions #31126,bpo-46655: allow stringized TypeAlias with get_type_hints #31156,bpo-46553: allow bare typing.ClassVar annotations #30983 and probably others