dry-python / dry-python/returns

Incorrect result type for `returns.curry.partial` with keyword arguments for positional parameters

Offen
#2,191 1 Kommentar 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen
bug
Vorherrschende Sprache
Python
Sterne
4.4k
Forks
155
Ø Merge
2 Std. 27 Min.
Gemergte PRs (30 T.)
22

Beschreibung

# Bug report

## What's wrong

When using `returns.curry.partial`, if you partially apply a positional parameter using a keyword argument, the resulting type is incorrect. Result type of callable allows passing the remaining arguments as positional, but this leads to a runtime error.

### Example

```python
def foo(x: int, y: int) -> None:
...

bar = returns.curry.partial(foo, x=1)
reveal_type(bar)
# => Mypy: "def (y: builtins.int)"
# => Expected: "def (*, y: builtins.int)"

bar(2)
# No errors from mypy, but got runtime error
# TypeError: foo() got multiple values for argument 'x'
```

## How is that should be

In this scenario, the remaining parameters should be strictly keyword-only. The resulting type should reflect this restriction, and passing a positional argument should be flagged as an error at type checking time.

## System information

- `python` version: `3.13.4`
- `returns` version: `0.25.0`
- `mypy` version: `1.15.0`

Beitragsleitfaden

Beitragsleitfaden öffnen

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.