Name binding can be wrong when unrelated forward references are involved

Bug Report

There is a very weird issue with classes in functions that are bound to names outside of the function, but only if forward references are involved. It is not a reveal_type issue and can occur with normal inheritance like class Foo(A) as well, which is how it was discovered.

To Reproduce

class A: pass
class B: pass

def foo() -> None:
    class Unrelated(list['ForwardReference']): ...
    class ForwardReference(): pass
    class A():
        def x(self) -> None: ...

def bar() -> None:
    reveal_type(A)  # Should be E: Revealed type is "def () -> errorx2.A"
    reveal_type(B)
    A().x()  # Should be an AttributeError

Will result in:

main.py:11: note: Revealed type is "def () -> __main__.A@7"
main.py:12: note: Revealed type is "def () -> __main__.B"
Success: no issues found in 1 source file

See also https://mypy-play.net/?mypy=latest&python=3.11&gist=7238759e8e27220c3b67ac9d1114d45b

Expected Behavior

The reveal type should be def () -> __main__.A instead of def () -> __main__.A@7.

Your Environment

• Mypy version used: Current latest (see Playground)
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.11

Inizia eseguendo il riproduttore Python fornito con mypy e confronta il tipo rivelato per A con l’output previsto. Traccia il binding dei nomi per le classi locali, i riferimenti forward non correlati e l’ereditarietà; il lavoro è completato quando il tipo rivelato fa riferimento ad A a livello di modulo e l’esempio segnala l’accesso ad attributo non valido previsto.