Self is not rejected when used as a PEP 695 type parameter bound

Offen

#21,960 erstellt am 08.9.2026 0 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 3/5
Geschätzter Aufwand: 1-2 Tage
Anfängerfreundlichkeit: 72/100

Issue-Typ: Bug
Klarheit: Größtenteils klar
Aktivitätsstatus: Aktiv
Tech-Stack: python
Bereich: compilers

Rechercherichtung

Beginne mit test-data/unit/check-selftype.test etwa bei Zeile 1480 und reproduziere das PEP-695-Beispiel aus dem Issue. Verfolge die bestehende Self-Validierung, die für andere ungültige Stellen verwendet wird, und füge dann Tests für eine Bindung oder Einschränkung eines Typparameters hinzu. Erledigt bedeutet, dass mypy für das Beispiel einen Fehler meldet, während bestehende Self-Tests weiterhin erfolgreich sind.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

bug topic-self-types

Bug Report

Self is only valid in the specific locations listed in PEP 673 and Mypy already rejects several invalid locations.
See: https://github.com/python/mypy/blob/ae39cdb2fba8908eeff6ec8d6b88879c62495fcc/test-data/unit/check-selftype.test#L1480

It seems one location wasn't covered: using Self as the bound (or constraint) of a PEP 695 type parameter.

To Reproduce:

from typing import Self
class Foo:
      def fails[T: Self](self: T) -> None: pass

Expected Behavior

Mypy should reject Self here with an error.

From a quick look at other type checkers: pyright and ty treat it as an invalid/generic TypeVar bound (TypeVar upper bound cannot be generic), while zuban rejects it with the same message mypy already uses elsewhere,
Self type is only allowed in annotations within class definition.

Actual Behavior

No error is reported.

Your Environment

Mypy version: https://github.com/python/mypy/commit/ae39cdb2fba8908eeff6ec8d6b88879c62495fcc
Python version: 3.12

TLDR; originally spotted while working on #21928 See: https://github.com/python/mypy/pull/21928#issuecomment-5557910054

Vorherrschende Sprache: Python
Sterne: 20.6k
Forks: 3.3k
Ø Merge: 1 T. 3 Std.
Gemergte PRs (30 T.): 59

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

Lesen Sie das ganze Issue und danach den Beitragsleitfaden des Projekts.
Schreiben Sie ins Issue, dass Sie es übernehmen — das erspart doppelte Arbeit.
Forken Sie das Repository und arbeiten Sie in einem Branch.
Öffnen Sie einen Pull Request, der die Issue-Nummer nennt.

Mehr aus python/mypy

matches_gitignore: directory-only patterns in nested .gitignore not excluded under --exclude-gitignore Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 78/100

python/mypy#21760 · Erstellt am 20.7.2026
`stubgen --inspect-mode` crashes with `AttributeError on PEP 604 union syntax (X | Y)` *(mypy 2.1.0)* Offen

bug

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 76/100

python/mypy#21689 · Erstellt am 07.7.2026
Inconsistent description of `strict_optional` Offen

documentation

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 72/100

python/mypy#21658 · 1 Kommentar · Erstellt am 29.6.2026
Cannot set `output` in `mypy.ini` Offen

bug topic-configuration topic-error-reporting

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 68/100

python/mypy#21376 · 1 Kommentar · Erstellt am 29.4.2026
Issue with `attrs` custom `__init__` defined Offen

bug topic-attrs

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 62/100

python/mypy#20818 · 1 Kommentar · Erstellt am 15.2.2026

Alle Issues in python/mypy