KotlinIsland / KotlinIsland/basedmypy
ban implicit casting of `Any` with explicit annotation
Open
feature
p-2
topic-any
- Dominant language
- Python
- Stars
- 202
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
```py
# third_party.py
def foo() -> Any: ...
```
```py
# my.py
some_list: list[int] = third_party.foo() # that's okay?
```
Contributor guide
Research direction
The issue provides only two Python snippets and does not name an implementation file, entry point, or test. First clarify whether the annotated assignment should be rejected when the called function returns Any, then locate the checker logic and add tests covering the shown third_party.foo and my.py example; done means the intended diagnostic behavior is specified and verified.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- tooling
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100