KotlinIsland / KotlinIsland/basedmypy

allow `ParamSpec.args` on its own

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

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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.