-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Closed
Labels
bugmypy got something wrongmypy got something wrongtopic-paramspecPEP 612, ParamSpec, ConcatenatePEP 612, ParamSpec, Concatenate
Description
On mypy master, this does not have any errors:
from typing import Callable, ParamSpec
P = ParamSpec('P')
def twice(f: Callable[P, int], *args: P.args) -> int:
return f(*args) + f(*args)
With 0.982 you get main.py:5: error: Name "P.args" is not defined
. Not the best error message, but at least you get an error for invalid use.
This bisects to https://github.com/python/mypy/pull/13472/files cc @sobolevn
Metadata
Metadata
Assignees
Labels
bugmypy got something wrongmypy got something wrongtopic-paramspecPEP 612, ParamSpec, ConcatenatePEP 612, ParamSpec, Concatenate