generics_paramspec_basic.py

← Back to index

True Positive

False Positive

False Negative

Optional (detected)

Warning or Info

TP: 6

FP: 0

FN: 1

Optional: 0 / 0

"""
Tests basic usage of ParamSpec.
"""

# Specification: https://typing.readthedocs.io/en/latest/spec/generics.html#paramspec-variables

from typing import Any, Callable, Concatenate, ParamSpec, TypeAlias

P = ParamSpec("P")  # OK
WrongName = ParamSpec("NotIt")  # E: name inconsistency
Expected a ty diagnostic for this line


# > Valid use locations

TA1: TypeAlias = P  # E
[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a type alias value

TA2: TypeAlias = Callable[P, None]  # OK
TA3: TypeAlias = Callable[Concatenate[int, P], None]  # OK
TA4: TypeAlias = Callable[..., None]  # OK
TA5: TypeAlias = Callable[..., None]  # OK


def func1(x: P) -> P:  # E
[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a parameter annotation
[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a return type annotation
    raise NotImplementedError


def func2(x: Concatenate[int, P]) -> int:  # E
[invalid-type-form] `typing.Concatenate` is not allowed in this context in a parameter annotation
    raise NotImplementedError


def func3(x: list[P]) -> None:  # E
[invalid-type-arguments] ParamSpec `P` cannot be used to specialize type variable `_T`
    ...


def func4(x: Callable[[int, str], P]) -> None:  # E
[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a parameter annotation
    ...


def func5(*args: P, **kwargs: P) -> None:  # E
[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a parameter annotation
[invalid-type-form] Bare ParamSpec `P` is not valid in this context in a parameter annotation
    ...