mypy

Polymorphic inference: support for parameter specifications and lambdas

#15837

Merged