Repository navigation
(🐞) 1.2 regression invalid error and bad message with Concatenate return value #15086
Description
from typing import Callable, Concatenate, Generic, ParamSpec, TypeVar
R = TypeVar("R")
P = ParamSpec("P")
def f() -> Callable[[Callable[Concatenate[str, P], R]], Callable[P, R]]:
def decorator(fn: Callable[Concatenate[str, P], R], /) -> Callable[P, R]:
...
return decoratorIncompatible return value type (got "Callable[[Callable[[str, **P], R]], Callable[P, R]]", expected "Callable[[Callable[[str, **P], R]], Callable[P, R]]")
Activity
[-](🐞) bad error messagev with `Concatenate`[/-][+](🐞) bad error message with `Concatenate`[/+][-](🐞) bad error message with `Concatenate`[/-][+](🐞) 1.2 regression invalid error and bad message with `Concatenate` return value[/+]A5rocks commentedon Jun 14, 2023
Yet another thing fixed by #15272, lol
I don't really get how that PR fixes so many issues honestly
Reconsider constraints involving parameter specifications (#15272)