Правильно аннотируйте декоратор с помощью ParamSpec, используя новый синтаксис типизации (3.12)

Я пытаюсь использовать новые подсказки типов из Python 3.12, и внезапно PyCharm выявляет какую-то неясную проблему, связанную с новым использованием ParamSpec.

import functools
from dataclasses import dataclass
from typing import Callable
from typing import Concatenate


@dataclass
class Message:
    text: str


type CheckFunc[**P] = Callable[Concatenate[Message, P], None]


def check_is_command_not_answer[**P](func: CheckFunc[P]) -> CheckFunc[P]:
    @functools.wraps(func)
    def inner(message: Message, *args: P.args, **kwargs: P.kwargs) -> None:
        if message.text:
            ...
        else:
            return func(message, *args, **kwargs)

    return inner

В return inner PyCharm обвиняет:

Ожидаемый тип '(Message, ParamSpec("P")) -> None, вместо этого получено сообщение: Message, ParamSpec("P"), ParamSpec("P")) -> None'

Вот скрин.

Кстати, я использую этот декоратор здесь и там, и код работает отлично. Пайрайт и здесь не жалуется ни на какие проблемы.

Я не могу обнаружить проблему. Не могли бы вы?

Почему в Python есть оператор "pass"?
Почему в Python есть оператор "pass"?
Оператор pass в Python - это простая концепция, которую могут быстро освоить даже новички без опыта программирования.
Некоторые методы, о которых вы не знали, что они существуют в Python
Некоторые методы, о которых вы не знали, что они существуют в Python
Python - самый известный и самый простой в изучении язык в наши дни. Имея широкий спектр применения в области машинного обучения, Data Science,...
Основы Python Часть I
Основы Python Часть I
Вы когда-нибудь задумывались, почему в программах на Python вы видите приведенный ниже код?
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
LeetCode - 1579. Удаление максимального числа ребер для сохранения полной проходимости графа
Алиса и Боб имеют неориентированный граф из n узлов и трех типов ребер:
Оптимизация кода с помощью тернарного оператора Python
Оптимизация кода с помощью тернарного оператора Python
И последнее, что мы хотели бы показать вам, прежде чем двигаться дальше, это
Советы по эффективной веб-разработке с помощью Python
Советы по эффективной веб-разработке с помощью Python
Как веб-разработчик, Python может стать мощным инструментом для создания эффективных и масштабируемых веб-приложений.
2
0
162
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

В вашем коде нет проблем. Проблема в PyCharm.

Его поддержка Concatenate et al. является неполным, как описано в PY-51766. Однако я не могу найти хорошую существующую проблему для этой ошибки.

Поставьте там комментарий type: ignore или noqa и идите дальше.

Другие вопросы по теме