Implement PEP 655 (Required/NotRequired)

[JelleZijlstra]

BPO	47087
Nosy	@gvanrossum, @davidfstr, @JelleZijlstra, @Fidget-Spinner, @AlexWaygood
PRs	gh-91243: Add typing.Required and NotRequired (PEP 655) #32419

^{Note: these values reflect the state of the issue at the time it was migrated and might not reflect the current state.}

Show more details

GitHub fields:

assignee = None
closed_at = None
created_at = <Date 2022-03-21.21:18:31.184>
labels = ['type-feature', 'library', '3.11']
title = 'Implement PEP 655 (Required/NotRequired)'
updated_at = <Date 2022-04-08.16:10:23.222>
user = 'https://github.com/JelleZijlstra'

bugs.python.org fields:

activity = <Date 2022-04-08.16:10:23.222>
actor = 'JelleZijlstra'
assignee = 'none'
closed = False
closed_date = None
closer = None
components = ['Library (Lib)']
creation = <Date 2022-03-21.21:18:31.184>
creator = 'JelleZijlstra'
dependencies = []
files = []
hgrepos = []
issue_num = 47087
keywords = ['patch']
message_count = 1.0
messages = ['415704']
nosy_count = 5.0
nosy_names = ['gvanrossum', 'David Foster', 'JelleZijlstra', 'kj', 'AlexWaygood']
pr_nums = ['32419']
priority = 'normal'
resolution = None
stage = 'patch review'
status = 'open'
superseder = None
type = 'enhancement'
url = 'https://bugs.python.org/issue47087'
versions = ['Python 3.11']

[JelleZijlstra]

PEP-655 was just accepted, so we should implement it in typing.py! We should be able to largely reuse the typing-extensions implementation.

(I can't find David Foster on BPO but I'll point him to this issue.)

[JelleZijlstra]

I just merged #32419 to provide the runtime implementation. We still need documentation.