diff --git a/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/intermediate/SafeCallReceiver.kt b/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/intermediate/SafeCallReceiver.kt
index 615ad395c1a..792a5ab870e 100644
--- a/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/intermediate/SafeCallReceiver.kt
+++ b/compiler/ir/ir.psi2ir/src/org/jetbrains/kotlin/psi2ir/intermediate/SafeCallReceiver.kt
@@ -81,6 +81,7 @@ fun IrExpression.safeCallOnDispatchReceiver(
         contextReceivers = emptyList(),
         dispatchReceiver = OnceExpressionValue(this),
         isStatement = false
-    ).call { dispatchReceiverValue, _, _ ->
+    ).call { dispatchReceiverValue, _, contextReceiverValues ->
+        assert(contextReceiverValues.isEmpty()) { "Context receivers in numeric promotion" }
         ifNotNull(dispatchReceiverValue!!.load())
     }
\ No newline at end of file