KotlinIsland / KotlinIsland/basedmypy

ban implicit casting of `Any` with explicit annotation

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

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.