Files
openide/python/testData/quickdoc/SeveralParamSpecs.py
andrey.matveev 997b58df49 PY-49935 Impl type inference and type checking for PEP 612
Support type hints and type checking for typing.ParamSpec and typing.Concatenate

(cherry picked from commit 7854b3386ccdffc0091664e0923622cd8c093fc9)

IJ-MR-12970

GitOrigin-RevId: 4578cb463b6ab8fc244766bfaccb122d0e2b7479
2021-08-23 17:52:45 +00:00

15 lines
244 B
Python

from typing import ParamSpec, Callable
P = ParamSpec("P")
def fo<the_ref>o(x: Callable[P, int], y: Callable[P, int]) -> Callable[P, bool]: ...
def x_y(x: int, y: str) -> int: ...
def y_x(y: int, x: str) -> int: ...
expr = foo(x_y, y_x)