python / python/mypy

Making a variable optional in an `else` block doesn't work for `try`/`else`

Aperta
#12,782 1 commento 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

bug
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche di merge delle PR
Metriche PR in attesa

Descrizione

Bug Report

#11002 allowed making a variable optional in an else block; this appears not to work in an else block from a try.

To Reproduce

# t.py
def __() -> None:
    try:
        ...
    except ValueError as exc:
        e = exc
    else:
        e = None

$ mypy t.py
t.py:7: error: Incompatible types in assignment (expression has type "None", variable has type "ValueError")
Found 1 error in 1 file (checked 1 source file)

Expected Behavior

I expect this to pass, as it would if it were an if/else

Actual Behavior

As above.

Your Environment

  • Mypy version used: 0.950
  • Mypy command-line flags: n/a
  • Mypy configuration options from mypy.ini (and other config files): n/a
  • Python version used: Python 3.10.4 (main, Apr 26 2022, 19:42:59) [Clang 13.1.6 (clang-1316.0.21.2)]
  • Operating system and version: MacOS 12.3.1 (21E258)

I'm not sure if this is expected, and try/except was out of scope for the original feature, or whether this is a bug.

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Direzione di ricerca

Inizia eseguendo l'esempio t.py segnalato con mypy 0.950 e confronta il suo comportamento try/except/else con il comportamento if/else descritto in issue #11002. Traccia il percorso del controllo dei tipi per le assegnazioni attraverso i blocchi try, quindi aggiungi un test di regressione per l'esempio e conferma che mypy accetta l'assegnazione di None senza introdurre errori.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Valutazione

Stack tecnologico
python
Ambito
compilers, devtools
Tipo di issue
Bug
Difficoltà
3/5
Tempo stimato
1-2 giorni
Stato di attività
Ferma
Chiarezza
Abbastanza chiara
Idoneità per principianti
45/100

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.