[Typing-sig] Re: PEP 702: Marking deprecations using the type system