dataclasses.asdict definition is not correct

[sobolevn]

Example:

from dataclasses import dataclass, asdict

@dataclass
class D:
    x: int

asdict(D(1), dict_factory=dict)  # Argument "dict_factory" to "asdict" has incompatible type "Type[Dict[Any, Any]]"; expected "Callable[[List[Tuple[str, Any]]], Dict[_KT, _VT]]"

But, since dict is used a default implementation, it should be valid.
Source: https://github.com/python/cpython/blob/325ae93b6b7113cd4a4c2ce441615ae7def779e2/Lib/dataclasses.py#L1254

Found in python/mypy#13367

[sobolevn]

Changing list to Iterable does not work as well:

from dataclasses import dataclass, astuple, asdict

@dataclass
class D:
    x: int

from typing import Callable, Any, TypeVar, Iterable, Tuple
_T = TypeVar('_T')
def asdict2(obj: Any, *, dict_factory: Callable[[Iterable[Tuple[str, Any]]], _T]) -> _T: ...

asdict2(D(3), dict_factory=dict)  #  error: Argument "dict_factory" to "asdict2" has incompatible type "Type[Dict[Any, Any]]"; expected "Callable[[Iterable[Tuple[str, Any]]], Dict[_KT, _VT]]"

[5tefan]

As a workaround, I have noticed that annotating the return value will succeed with mypy.

from typing import Any, Dict
from dataclasses import dataclass, asdict

@dataclass
class D:
    x: int

out: Dict[str, Any] = asdict(D(1), dict_factory=dict)  # Success: no issues found in 1 source file

[max-muoto]

@sobolevn Both examples work in MyPy/Pyright now, I'm assuming this can be closed out?