Aug. 4, 2023
8:50 p.m.
Eric started a new thread about this topic here in case anyone is interested: https://github.com/python/typing/discussions/1013 I'm working on a PEP for a suggestion that Eric had here: https://github.com/python/typing/discussions/1013#discussioncomment-6003799