Revisit the body of a loop if the number of partial types has changed. by tyralla · Pull Request #18180 · python/mypy (original) (raw)

I went through the primer and this is looking great. 3-5 cases where ideally mypy would do something different, but may be technically unrelated to this PR (didn't look).

operator: true positive
*prefect: false positive, seems like we should narrow from tuple to str on line 220
manticore: true positive
*pylint: false positive, can't tell why mypy wants an explicit annotation
xarray: true positive from typing perspective (typeguard guarantee isn't encoded in signature)
sympy: true positive, should assert
comtypes: true positive, heterogeneous list that is mutated so can't be a tuple[int, x, y, z]
aiortc: true positive, not sure where _data comes from, is maybe patched on
*httpx-caching: false positive, should infer int | None or require explicit annotation
jax: true positive, true positive
flake8: true positive, should assert
*poetry: probably should infer Term | None or require an explicit annotation
dulwich: true positive, should assert
*pyodide: false positive, not sure what's going on there