Fix subtyping between Instance and Overloaded (#18102) #13839

Job	Run time
Test suite with py38-ubuntu, mypyc-compiled	18m 51s
Test suite with py38-windows-64	19m 57s
Test suite with py39-ubuntu	17m 10s
Test suite with py310-ubuntu	16m 19s
Test suite with py311-ubuntu, mypyc-compiled	16m 9s
Test suite with py312-ubuntu, mypyc-compiled	18m 10s
Test mypyc suite with 32-bit Python	7m 30s
Test suite with py313-ubuntu, mypyc-compiled	18m 34s
mypyc runtime tests with py39-macos	5m 24s
Type check our own code (py38-ubuntu)	1m 55s
Type check our own code (py38-windows-64)	2m 57s
Formatting and code style with Black + ruff	1m 5s
	2h 24m 1s

Provide feedback