test.py:8: error: Argument 1 to "foo" has incompatible type "Tuple[Dict[<nothing>, <nothing>]]"; expected "Iterable[Mapping[str, Any]]"
Found 1 error in 1 file (checked 1 source file)
Using more specific Iterables, like List or Tuple, does not result in an error (as expected).
Your Environment
Mypy version used: 0.812
Mypy command-line flags: test.py
Mypy configuration options from mypy.ini (and other config files): <none>
Python version used: 3.8.9
Operating system and version: Debian 10 (buster) (docker run --rm -i -t --entrypoint bash python:3.8.9)
Bug Report
({},)
is incompatible withIterable[Mapping[str, Any]]
/Iterable[Dict[str, Any]]
To Reproduce
Have a file like this (
test.py
):then, run
mypy test.py
Expected Behavior
Expected to succeed:
Actual Behavior
Got an error:
Using more specific
Iterable
s, likeList
orTuple
, does not result in an error (as expected).Your Environment
mypy.ini
(and other config files): <none>docker run --rm -i -t --entrypoint bash python:3.8.9
)