Я пытаюсь использовать новые подсказки типов из 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'
Кстати, я использую этот декоратор здесь и там, и код работает отлично. Пайрайт и здесь не жалуется ни на какие проблемы.
Я не могу обнаружить проблему. Не могли бы вы?






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