KotlinIsland / KotlinIsland/basedmypy

When error and `ignore_any_from_error`, report an error about needing a type

Open
#285 0 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.