Typing.overload на основе наличия аргументов ключевого слова ⇐ Python

[Anonymous]

Дано:

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

from typing import overload, no_type_check
from collections.abc import Mapping

@overload
def f[K, V](arg: Mapping[K, V], /) -> Mapping[K, V]:
...

@overload
def f[K, V, V2](arg: Mapping[K, V], /, **kwargs: V2) -> Mapping[K | str, V | V2]:
...

@no_type_check
def f(arg, /, **kwargs):
pass

pyright жалуется:

Перегрузка 1 для "f" перекрывает перегрузку 2 и возвращает несовместимый тип (reportOverlappingOverload)

Я не понимаю эту ошибку. Почему имеет значение, что перегрузки перекрываются, когда они упорядочены, и поэтому в случае неоднозначного вызова следует использовать первую? Почему типы возвращаемых значений должны быть совместимыми? Вся суть здесь в том, чтобы указать более точный тип, когда это возможно (когда аргументы ключевого слова не передаются).
Как мне решить эту проблему?

Подробнее здесь: https://stackoverflow.com/questions/798 ... -arguments