Протокол Python, использующий аргументы, содержащие только ключевые слова, требует, чтобы реализация имела другую сигнат ⇐ Python

[Anonymous]

Я использую Python 3.10.
Вот протокол, который я определил:

Код: Выделить всё

class OnSubscribeFunc(Protocol):
def __call__(self, instrument: str, *, send: Callable[[str], Coroutine]) -> AsyncGenerator:
...

При создании метода, реализующего его следующим образом:

Код: Выделить всё

    async def subscribe(self, instrument: str, *, send: Callable[[str], Coroutine]):
yield ...

Я получаю это предупреждение: ожидаемый тип «OnSubscribeFunc», вместо этого получен «(инструмент: str, Any, send: (BaseModel) -> Coroutine) -> AsyncGenerator»< /p>
Однако если я удалю * из своей реализации, предупреждение исчезнет. Я ожидал бы, что все будет наоборот, потому что отсутствие * позволяет реализации иметь аргументы, не состоящие только из ключевых слов, что может быть не тем, к чему я стремлюсь с помощью моего протокола.
Итак, для сравнения: эта реализация не выдает никаких предупреждений:

Код: Выделить всё

    async def subscribe(self, instrument: str, send: Callable[[str], Coroutine]):
yield ...

Для меня это не имеет никакого смысла. Почему он ведет себя так и ожидаемо ли это, или это ошибка в моей проверке типов?


Подробнее здесь: https://stackoverflow.com/questions/791 ... o-have-dif