NoReturn and Never are underspecified in the spec

Offen

#1,458 erstellt am 30.8.2023 74 Kommentare 0 Reaktionen 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: Dokumentation
Klarheit: Muss geklärt werden
Aktivitätsstatus: Veraltet
Tech-Stack: python
Bereich: documentation

Rechercherichtung

Beginne mit dem Never-Beispiel in diesem Issue und prüfe die verknüpfte Diskussion zur Subtypisierung sowie die laufenden Arbeiten zur Formalisierung der Python-Typisierung. Als abgeschlossen gilt die Erarbeitung und Dokumentation einer klaren Spezifikation für Never und NoReturn, einschließlich ihrer Wechselwirkung mit struktureller Subtypisierung und dem hier beschriebenen LSP-Fall.

Vom Indexierungsmodell aus dem Issue-Text verfasst.

Beschreibung

topic: typing spec

Never was added without a PEP as a way to directly indicate that something is uninhabited in 3.11

This brings up something from https://github.com/CarliJoy/intersection_examples/issues/5#issuecomment-1699490563 where we now have a way to express what appears to be an LSP violation that type checks (incorrectly) properly via structural subtyping by mishandling Never as a subtype of other types. Never is not a subtype of all other types. As the bottom type, it is uninhabited and does not follow subtyping rules.

from typing import Never

class A:
    def foo(self, x: int) -> None: ...
    
class B(A):
    foo: Never   # __getattr__(B, "foo") -> raise NotImplementedError
    
x: A = B()  # type checks 
reveal_type(B.foo)

https://mypy-play.net/?mypy=latest&python=3.11&flags=strict&gist=a4279b36d82c1a28d7b17be9a4bbcbdf

I believe under LSP, B is no longer a safe drop-in replacement for A. It's important to note that ongoing work to formalize the type system, including Never does not treat Never as a subtype of all other types, see the ongoing work here: http://bit.ly/python-subtyping

Vorherrschende Sprache: Python
Sterne: 1.8k
Forks: 302
Ø Merge: 23 Std.
Gemergte PRs (30 T.): 8

Beitragsleitfaden

Für dieses Repository ist kein Beitragsleitfaden indexiert

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/typing

Spec: `Final` section could use better definition for `Final` vs. `Final[X]` Offen

topic: typing spec

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

python/typing#2356 · 2 Kommentare · 1 Reaktion · Erstellt am 02.9.2026
Spec: PEP leftovers in the spec for literals Offen

topic: typing spec

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

python/typing#2355 · Erstellt am 01.9.2026
Update reference/generics.html with PEP695 type parameter syntax Offen

topic: documentation

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

python/typing#2227 · 2 Kommentare · Erstellt am 25.3.2026
Remove PEP references in Typing Python Libraries guide Offen

topic: documentation

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

python/typing#2150 · 2 Kommentare · 2 Reaktionen · Erstellt am 12.1.2026
Finals and Literals: Spec contradiction Offen

topic: conformance tests topic: typing spec

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

python/typing#2351 · 2 Kommentare · Erstellt am 31.8.2026

Alle Issues in python/typing