KotlinIsland / KotlinIsland/basedpython
show a warning when `Unknown` is inferred
Offen
- Vorherrschende Sprache
- Rust
- Sterne
- 16
- Forks
- 0
- Ø Merge
- 17 Std. 32 Min.
- Gemergte PRs (30 T.)
- 20
Beschreibung
```py
class A:
a = None # expect a warning or `None`, not `None | Unknown`
```
Beitragsleitfaden
Rechercherichtung
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.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python, rust
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Ruhig
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 55/100