Closed IvanIsCoding closed 2 months ago
Closes #1179
We missed https://typing.readthedocs.io/en/latest/spec/typeddict.html#totality. Because total=True is the default, mypy and other type checkers expect all arguments which is not user-friendly.
total=True
mypy
Closes #1179
We missed https://typing.readthedocs.io/en/latest/spec/typeddict.html#totality. Because
total=True
is the default,mypy
and other type checkers expect all arguments which is not user-friendly.