KotlinIsland / KotlinIsland/basedmypy
allow `ParamSpec.args` on its own
Open
feature
- Dominant language
- Python
- Stars
- 202
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
```py
def f1(a: int, *, b: str=""): ...
def f2(a: int, *, b: str): ...
def call[**P](fn: Callable[P, None], *args: P.args):
fn(*args)
call(f1, 1) # ok
call(f2, 1) # error
```
Contributor guide
Research direction
The issue names no implementation files, tests, or entry points. Start by reproducing the shown ParamSpec.args calls and locate the type-checking path for standalone ParamSpec.args; done means the f1 call remains accepted while the f2 call is rejected.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100