refinement

Author: Daniel Sperber

peps/pep-0821.rst

@@ -138,7 +138,7 @@ callback protocol whose ``__call__`` method is defined as
 ``def __call__(self, **kwargs: Unpack[TD]) -> R: ...``.
 All rules — handling of required and optional keys, ``extra_items``,
 ``closed``, assignment compatibility — follow from this equivalence per
-:pep:`692`, :pep:`728`, and other existing typing specifications related to 
+:pep:`692`, :pep:`728`, and other existing typing specifications related to
 ``Protocol`` and ``**kwargs`` unpacking through ``TypedDict``.
 When positional parameters precede ``Unpack[TD]``, as in
 ``Callable[[int, str, Unpack[TD]], R]``, the same equivalence applies with
@@ -266,7 +266,7 @@ Rejected Ideas
       class TD1(TypedDict):
           a: int
           b: int
-  
+
       class TD2(TypedDict):
           b: str
 
@@ -308,8 +308,7 @@ Open Questions
   :pep:`692` did not address generic ``TypedDict`` in ``**kwargs``, and
   the rules remain an open ambiguity in the typing spec. If the equivalence
   principle applies, the rules should follow from the callback protocol
-  equivalent — but it is unclear whether type checkers can currently reason
-  about this correctly.
+  equivalent.
 
 
 Acknowledgements
@@ -318,9 +317,9 @@ Acknowledgements
 Thanks to Jelle Zijlstra for sponsoring this PEP and his valuable review
 feedback.
 
-Hugo van Kemenade, for helpful feedback on the draft and PR of this PEP.
+Eric Traut, for careful review, detailed feedback, and valuable input.
 
-Eric Traut, for feedback on the initial idea and discussions.
+Hugo van Kemenade, for helpful feedback on the draft and PR of this PEP.
 
 
 References