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.

Beginne mit dem bereitgestellten Beispiel in main.py und reproduziere den Fehler incompatible-default. Verfolge anschließend mypy bei der Behandlung des dict-Standards im Vergleich zur TypeVar-bound Mapping-Signatur und vergleiche dies mit dem Ziel der dataclasses.asdict-Annotation. Als erledigt gilt die Aufgabe, wenn das Beispiel ohne diesen Fehler einen Type-Check besteht und dabei der beabsichtigte Rückgabetyp erhalten bleibt.