diff --git a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java
index ae22f2db0b3..0142f4e1d9a 100644
--- a/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java
+++ b/compiler/frontend/src/org/jetbrains/jet/lang/resolve/calls/CallResolver.java
@@ -325,15 +325,6 @@ public class CallResolver {
             }
             completeTypeInferenceDependentOnExpectedTypeForCall(resolvedCall, context, tracing, successful, failed);
         }
-        if (resultsWithIncompleteTypeInference.getResultingCalls().size() > 1) {
-            for (ResolvedCallWithTrace<D> call : successful) {
-                if (call instanceof ResolvedCallImpl) {
-                    ((ResolvedCallImpl)call).addStatus(ResolutionStatus.TYPE_INFERENCE_ERROR);
-                    failed.add(call);
-                }
-            }
-            successful.clear();
-        }
         OverloadResolutionResultsImpl<D> results = computeResultAndReportErrors(context.trace, tracing, successful, failed);
         if (!results.isSingleResult()) {
             checkTypesWithNoCallee(context);
diff --git a/compiler/testData/diagnostics/tests/inference/mostSpecificAfterInference.kt b/compiler/testData/diagnostics/tests/inference/mostSpecificAfterInference.kt
new file mode 100644
index 00000000000..c1d36817722
--- /dev/null
+++ b/compiler/testData/diagnostics/tests/inference/mostSpecificAfterInference.kt
@@ -0,0 +1,22 @@
+package i
+
+//+JDK
+import java.util.*
+
+fun <T, R> Collection<T>.map1(<!UNUSED_PARAMETER!>f<!> : (T) -> R) : List<R> {<!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
+fun <T, R> java.lang.Iterable<T>.map1(<!UNUSED_PARAMETER!>f<!> : (T) -> R) : List<R> {<!NO_RETURN_IN_FUNCTION_WITH_BLOCK_BODY!>}<!>
+
+fun test(list: List<Int>) {
+    val res = list.map1 { it }
+    //check res is not of error type
+    <!TYPE_MISMATCH!>res<!> : String
+}
+
+fun <T> Collection<T>.foo() {}
+fun <T> java.lang.Iterable<T>.foo() {}
+
+fun test1(list: List<Int>) {
+    val res = list.foo()
+    //check res is not of error type
+    <!TYPE_MISMATCH!>res<!> : String
+}
\ No newline at end of file
diff --git a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
index ab021b6176a..bb5f7bc213d 100644
--- a/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
+++ b/compiler/tests/org/jetbrains/jet/checkers/JetDiagnosticsTestGenerated.java
@@ -1309,6 +1309,11 @@ public class JetDiagnosticsTestGenerated extends AbstractDiagnosticsTestWithEage
                 doTest("compiler/testData/diagnostics/tests/inference/mapFunction.kt");
             }
             
+            @TestMetadata("mostSpecificAfterInference.kt")
+            public void testMostSpecificAfterInference() throws Exception {
+                doTest("compiler/testData/diagnostics/tests/inference/mostSpecificAfterInference.kt");
+            }
+            
             @TestMetadata("NoInferenceFromDeclaredBounds.kt")
             public void testNoInferenceFromDeclaredBounds() throws Exception {
                 doTest("compiler/testData/diagnostics/tests/inference/NoInferenceFromDeclaredBounds.kt");