When a type error results from type information being lost because an object (context manager) is used with `with` (with-as block), mypy should emit a hint alluding to this.

Offen

#17,086 erstellt am 02.4.2024 2 Kommentare 1 Reaktion 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

Bewertung

Schwierigkeit: 5/5
Geschätzter Aufwand: Über eine Woche
Anfängerfreundlichkeit: 25/100

Issue-Typ: Feature
Klarheit: Muss geklärt werden
Aktivitätsstatus: Veraltet
Tech-Stack: python
Bereich: devtools

Rechercherichtung

Beginne damit, den im issue #9750 beschriebenen Context-Manager-Fall zu reproduzieren, mit Fokus auf eine fehlende Rückgabeannotation bei enter und den daraus resultierenden Any-Typ. Verfolge, wie mypy with-as-Ausdrücke und Typfehler behandelt, und definiere dann den erwarteten Hinweis der Diagnose sowie Tests für Fälle, in denen der Context Manager sich selbst zurückgibt.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

feature

Feature

When a type error results from type information being lost because an object (context manager) is used with with (with-as block), mypy should emit a hint alluding to this.

Pitch

Consider the following issue, which is not by me but is a predicament I also ran into recently:

https://github.com/python/mypy/issues/9750

The user is, essentially, confused why the type of x.y is int but the type of c.y in with x as c: c.y is Any.

This happens because the __enter__ method of x is missing a return type signature, so mypy treats its output as having type Any. However, it is a common (as fair as I can tell) pattern for an object's __enter__ method to simply return self — possibly without a proper type signature, thus wiping its type information in the process. So, I think this would be a useful hint for mypy to emit, if it encounters any type problems where the problematic value has just resulted from a with statement.

Something like: hint: the type of c.y is Any, but the type of x is Foo. Did you mean the type of c to be Foo? If so, add the return type annotation -> Self to the __enter__ method of Foo.

Currently, there is no warning about this whatsoever, which means in the (admittedly, rare) circumstances where this problem crops up, it is unintuitive and the user has very little to go off of.

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

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

stubtest flags PEP 661 `sentinel` defaults, but not `object()` markers Offen

bug

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

python/mypy#22013 · Erstellt am 20.9.2026
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

Alle Issues in python/mypy