`closed=True` should not be supported for Python <3.15
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Idoneità per principianti
- 67/100
Direzione di ricerca
Inizia con la riproduzione in mypy-play usando un TypedDict e closed=True con Python 3.12, quindi traccia come mypy gestisce questo argomento e i controlli della versione di Python. Il lavoro è concluso quando closed=True viene rifiutato per le versioni di Python precedenti alla 3.15, mentre continua a essere accettato nei file che contengono solo typing, con una copertura di regressione per il comportamento segnalato.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Bug Report
mypy accepts closed=True on TypedDicts before Python 3.15. I think this should be allowed in typing-only files, but not at runtime.
To Reproduce
from typing import TypedDict
class A(TypedDict, closed=True):
x: int
a: A = {"x": 5, "y": "5"} # E
Expected Behavior
An error when defining A.
Actual Behavior
No error when defining A.
Your Environment
Reproduced in mypy-play.
- Mypy version used: 2.3.0
- Mypy command-line flags: N/A
- Mypy configuration options from
mypy.ini(and other config files): N/A - Python version used: 3.12
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Merge medio
- 1g 12h
- PR unite (30g)
- 58
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di python/mypy
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
-
bug
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
-
documentation
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
-
bug topic-configuration topic-error-reporting
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
bug topic-attrs
Difficoltà 2/5 1-3 ore Idoneità per principianti 62/100
Issue simili
-
essnmx good first issue
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 95/100
-
[Feature] 奇物选择添加优先级 Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
syfoud/Simulated_Scepter#174 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Giskard-AI/giskard-oss#2840 · 1 commento ·
-
A claim comment carrying the issue number is silently declined while the workflow reports success Apertaarea: repo bug perceived difficulty: 2
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
yeti-platform/yeti#1380 ·