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.

Comienza con el ejemplo proporcionado en main.py y reproduce el error incompatible-default. Después, sigue el tratamiento que hace mypy del valor predeterminado dict frente a la firma Mapping acotada por TypeVar y compáralo con el objetivo de anotación de dataclasses.asdict. La tarea estará terminada cuando el ejemplo pase la comprobación de tipos sin ese error y conserve el tipo de retorno previsto.