KotlinIsland / KotlinIsland/basedmypy
suggest `assert_never` when a value is narrowed to `Never`
Open
feature
- Dominant language
- Python
- Stars
- 202
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
This issue has no description.
Contributor guide
Research direction
No files, tests, or entry points are identified in the issue. Start by locating the diagnostic and narrowing logic for values inferred as Never, then determine how existing assert_never handling is tested. Done means the checker suggests assert_never for the relevant narrowing case without changing unrelated diagnostics.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100