mypy

Fix 0.750 regression: union (non-)simplification should not affect inference

#8077

Merged