KotlinIsland / KotlinIsland/basedmypy
When error and `ignore_any_from_error`, report an error about needing a type
Open
feature
feedback
topic-any
- Dominant language
- Python
- Stars
- 202
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
```py
a = AMONGUS # type: ignore[name-defined]
b = a + 1
```
I think `a` should have an error stating that it needs an explicit type. Although I wonder what scenarios that would appear in.
#272
#281
Contributor guide
Research direction
Start by reproducing the reported Python snippet and tracing how `type: ignore[name-defined]` interacts with `ignore_any_from_error`. The work is done when the example reports that `a` needs an explicit type, with the relevant behavior covered by an appropriate test.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- devtools
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100