Edge case: resolving an introspected type annotation within an object scope
As demonstrated in this other discussion, using introspection to get a function return type and match it with an object available in its scope (or its parent’s scope) is not always possible without PEP 563. To properly resolve the return type, it is needed to get it as it was typed in the sources.
Fails for…
PEP 649. Not sure about PEP 484.