Use type variable bound when it appears as actual during inference#16178

ilevkivskyi merged 5 commits intopython:masterpython/mypy:masterfrom

ilevkivskyi:infer-upper-boundilevkivskyi/mypy:infer-upper-boundCopy head branch name to clipboard