Как аннотировать изменяемые структуры для Mypy ⇐ Python

[Anonymous]

У меня есть этот код: < /p>
def my_foo(x: dict[str, int | float], some_condition: bool) -> None:
if some_condition:
x['the_int'] = 1
else:
x['the_float'] = 1.0

my_dict = {'some_int': 2}

my_foo(my_dict, True)
< /code>
mypy (понятно) жалуется < /p>

Ошибка: аргумент 1 к "my_foo" имеет несовместимый
type "dict [str, int]"; Ожидается "DICT [str, int | float]" [arg-type]
Примечание: "dict"-это инвариант-см.
https://mypy.readthedocs.io/en/stable/c ... l#variance
src\type_test.py :23: note: artepariance, что использует ". Тип значения < /p>
< /blockquote>
Я пробовал do type-hint с использованием mutablemapping < /code>, но безрезультатно: < /p>

Ошибка: аргумент 1 к "my_foo" имеет несостоятельный тип "dick [str, int]"; /> < /blockquote>

Подробнее здесь: https://stackoverflow.com/questions/790 ... s-for-mypy