diff --git a/compiler/resolution/src/org/jetbrains/kotlin/contracts/model/visitors/Reducer.kt b/compiler/resolution/src/org/jetbrains/kotlin/contracts/model/visitors/Reducer.kt
index 1b26a3af027..621dfa167b4 100644
--- a/compiler/resolution/src/org/jetbrains/kotlin/contracts/model/visitors/Reducer.kt
+++ b/compiler/resolution/src/org/jetbrains/kotlin/contracts/model/visitors/Reducer.kt
@@ -56,7 +56,7 @@ class Reducer(private val builtIns: KotlinBuiltIns) : ESExpressionVisitor<ESExpr
 
         val result = when (reducedArg) {
             is ESConstant -> argType!!.isSubtypeOf(isType)
-            is ESVariable -> if (argType?.isSubtypeOf(isType) == true) true else null
+            is ESVariable, is ESReceiver -> if (argType?.isSubtypeOf(isType) == true) true else null
             else -> throw IllegalStateException("Unknown ESValue: $reducedArg")
         }