KotlinIsland / KotlinIsland/basedpython
show a warning when `Unknown` is inferred
Open
- Dominant language
- Rust
- Stars
- 16
- Forks
- 0
- Avg merge
- 17h 32m
- Merged PRs (30d)
- 20
Description
```py
class A:
a = None # expect a warning or `None`, not `None | Unknown`
```
Contributor guide
Research direction
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.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python, rust
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100