Merge two different applicable argument types when synthesizing corresponding argument#18627

A5rocks wants to merge 6 commits into

python:masterpython/mypy:masterfrom

A5rocks:allow-differing-arg-types-callable-subtypingA5rocks/mypy:allow-differing-arg-types-callable-subtypingCopy head branch name to clipboard