detect invalid `Literal[Foo.foo | Foo.bar]` → `Literal[Foo.foo, Foo.bar]`
Aperta
Nessuno ha ancora preso questa issue.
feature
topic-runtime-semantics
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
import enum
from typing import Literal
class Foo(enum.IntEnum):
foo = 1
bar = 2
def foo(bar: Literal[Foo.foo | Foo.bar]) -> None:
pass
ty detect this as invalid-type-form:
$ ty check t.py
t.py:10:22: error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
(https://github.com/astral-sh/ty/issues/876#issuecomment-3669957183)
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.
Direzione di ricerca
Inizia riproducendo l’esempio in t.py ed eseguendo il comando di controllo dei tipi mostrato, quindi traccia il modo in cui vengono convalidati gli argomenti di Literal contenenti membri di enum e l’espressione |. Il lavoro è completato quando l’esempio viene gestito come Literal[Foo.foo, Foo.bar] invece di essere segnalato come invalid-type-form, con un test di regressione che lo copra.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Funzionalità
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Specificata chiaramente
- Idoneità per principianti
- 48/100