KotlinIsland / KotlinIsland/basedpython
show a warning when `Unknown` is inferred
Aperta
- Lingua principale
- Rust
- Stelle
- 16
- Fork
- 0
- Merge medio
- 17h 32m
- PR unite (30g)
- 20
Descrizione
```py
class A:
a = None # expect a warning or `None`, not `None | Unknown`
```
Guida per i contributori
Apri la guida per i contributori
Direzione di ricerca
Start with the type-inference path exercised by the `class A` example and trace how `None` becomes `None | Unknown`. Confirm the intended behavior in the existing checker tests, then ensure this case produces a warning or infers `None` without `Unknown` and add coverage for the example.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python, rust
- Ambito
- compilers
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Tranquilla
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 55/100