python / python/mypy

Name binding can be wrong when unrelated forward references are involved

Offen
#16,570 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

bug
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

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

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne damit, den bereitgestellten Python-Reproducer mit mypy auszuführen und den aufgedeckten Typ für A mit der erwarteten Ausgabe zu vergleichen. Verfolge die Namensbindung für lokale Klassen, unabhängige Vorwärtsreferenzen und Vererbung; fertig ist die Aufgabe, wenn der aufgedeckte Typ auf das A auf Modulebene verweist und das Beispiel den erwarteten ungültigen Attributzugriff meldet.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Bewertung

Tech-Stack
python
Bereich
compilers
Issue-Typ
Bug
Schwierigkeit
4/5
Geschätzter Aufwand
3-5 Tage
Aktivitätsstatus
Veraltet
Klarheit
Größtenteils klar
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.