diff --git a/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/model/ResolutionCandidate.kt b/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/model/ResolutionCandidate.kt
index 5499e110ef9..e86ae9ad79a 100644
--- a/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/model/ResolutionCandidate.kt
+++ b/compiler/resolution/src/org/jetbrains/kotlin/resolve/calls/model/ResolutionCandidate.kt
@@ -145,7 +145,7 @@ class KotlinResolutionCandidate(
     override val isSuccessful: Boolean
         get() {
             processParts(stopOnFirstError = true)
-            return currentApplicability.isSuccess && variableApplicability.isSuccess
+            return currentApplicability.isSuccess && variableApplicability.isSuccess && !getSystem().hasContradiction
         }
 
     override val resultingApplicability: ResolutionCandidateApplicability