Allow None vs TypeVar overlap for overloads #10748

Job	Run time
Test mypyc suite with 32-bit Python	11m 27s
Test suite with py38-ubuntu, mypyc-compiled	21m 40s
Test suite with py38-windows-64	52m 3s
Test suite with py39-ubuntu	28m 3s
Test suite with py310-ubuntu	20m 21s
Test suite with py311-ubuntu, mypyc-compiled	24m 41s
Test suite with py312-ubuntu, mypyc-compiled	24m 17s
mypyc runtime tests with py38-macos	7m 52s
mypyc runtime tests with py38-debug-build-ubuntu	6m 31s
Type check our own code (py38-ubuntu)	2m 8s
Type check our own code (py38-windows-64)	3m 38s
Formatting and code style with Black + ruff	56s
	3h 23m 37s

Provide feedback