mypy
Use polymorphic inference in unification
#17348
Merged

Loading