mypy doesn't understand dict contstruction

from typing import Any, Callable, List, Mapping, Tuple, TypeVar

U = TypeVar('U', bound=Mapping[str, Any])


def f(dict_factory: Callable[[List[Tuple[str, Any]]], U] = dict) -> U:
    return dict_factory([('a', 1)])

prints

main.py:6: error: Incompatible default for argument "dict_factory" (default has type "Type[Dict[Any, Any]]", argument has type "Callable[[List[Tuple[Any, Any]]], U]")

This is from trying to annotate dataclasses.asdict.

main.py に用意されている例から始めて、incompatible-default エラーを再現します。次に、TypeVar-bound Mapping シグネチャに対する dict デフォルトの mypy の処理を追跡し、dataclasses.asdict のアノテーションの目標と比較します。例がそのエラーなしで型チェックを通過し、意図した戻り値の型を維持できれば完了です。