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.

Inizia con l’esempio fornito in main.py e riproduci l’errore incompatible-default. Poi traccia la gestione da parte di mypy del valore predefinito dict rispetto alla firma Mapping vincolata da TypeVar e confrontala con l’obiettivo dell’annotazione di dataclasses.asdict. Il lavoro è completato quando l’esempio supera il controllo dei tipi senza quell’errore, preservando il tipo restituito previsto.