Referencing name not defined yet allowed by mypy, yet error at runtime.

To Reproduce

from collections.abc import Callable

class A:
    @staticmethod
    def b(c: Callable[[], None]) -> Callable[[], None]:
        return c
    
    @A.b
    @staticmethod
    def c() -> None:
        pass

mypy playground

Expected Behavior

Invoking mypy catches error.

Actual Behavior

Success: no issues found in 1 source file

However, at runtime:

NameError: name 'A' is not defined

Issue の Python reproducer から始め、strict 設定で mypy にかけて実行し、その後、mypy が受け入れた結果と Python の実行時の NameError を比較します。デコレータ式とクラス名解決の処理を追跡し、この参照が拒否されることを示す回帰テストを追加します。