From de4666cf0ed96908b6cae9a0a8c4733f3d7f0c67 Mon Sep 17 00:00:00 2001
From: "simon.ogorodnik" <simon.ogorodnik@jetbrains.com>
Date: Wed, 18 Mar 2020 17:58:10 +0300
Subject: [PATCH] [FIR] Fix loading 'is instance' contracts

---
 .../resolve/dfa/contracts/ConeConditionalEffectToFirVisitor.kt  | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/contracts/ConeConditionalEffectToFirVisitor.kt b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/contracts/ConeConditionalEffectToFirVisitor.kt
index c2871e50b4e..fa63d58c2df 100644
--- a/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/contracts/ConeConditionalEffectToFirVisitor.kt
+++ b/compiler/fir/resolve/src/org/jetbrains/kotlin/fir/resolve/dfa/contracts/ConeConditionalEffectToFirVisitor.kt
@@ -51,7 +51,9 @@ private object ConeConditionalEffectToFirVisitor : ConeContractDescriptionVisito
     }
 
     override fun visitIsInstancePredicate(isInstancePredicate: ConeIsInstancePredicate, data: Map<Int, FirExpression>): FirExpression? {
+        val argument = isInstancePredicate.arg.accept(this@ConeConditionalEffectToFirVisitor, data) ?: return null
         return buildTypeOperatorCall {
+            argumentList = buildUnaryArgumentList(argument)
             operation = if (isInstancePredicate.isNegated) {
                 FirOperation.NOT_IS
             } else {