[Python-Dev] PEP 649: Deferred Evaluation Of Annotations Using Descriptors, round 2

Attached is my second draft of PEP 649.  The PEP and the prototype have both seen a marked improvement since round 1 in January; PEP 649 now allows annotations to refer to any variable they could see under stock semantics: * Local variables in the current function scope or in enclosing function scopes become closures and use LOAD_DEFER. * Class variables in the current class scope are made available using a new mechanism, in which the class dict is attached to the bound annotation function, then loaded into f_locals when the annotation function is run.  Thus permitting LOAD_NAME opcodes to function normally. I look forward to your comments, //arry/