Revert "Make it possible to infer more precise types in overloads_evaluation"

Reverted because this change was not according to the spec.

This reverts commit 593d74d.

Author: davidhalter

conformance/tests/overloads_evaluation.py

@@ -262,8 +262,7 @@ def check_example4(v1: list[Any], v2: Any) -> None:
     assert_type(ret1, list[int])
 
     ret2 = example4(v2, 1)
-    assert_type(ret2, Any)  # E[example4]
-    assert_type(ret2, list[Any])  # E[example4]
+    assert_type(ret2, Any)
 
 
 @overload
@@ -279,8 +278,7 @@ def example5(obj: Any) -> list[Any]:
 
 
 def check_example5(b: list[Any]) -> None:
-    assert_type(example5(b), Any)  # E[example5]
-    assert_type(example5(b), list[Any])  # E[example5]
+    assert_type(example5(b), Any)
 
 
 @overload
@@ -346,5 +344,4 @@ def check_example7(v1: list[Any], v2: Any) -> None:
     assert_type(ret2, list[str])
 
     ret3 = example7(v1, v2)
-    assert_type(ret3, Any)  # E[example7]
-    assert_type(ret3, list[Any])  # E[example7]
+    assert_type(ret3, Any)