From 95346f834b7c97a23baa00499cdc8691b18895d6 Mon Sep 17 00:00:00 2001 From: Dmitriy Novozhilov Date: Mon, 17 Aug 2020 10:38:27 +0300 Subject: [PATCH] [FIR] Fix forgotten dependency to contracts of FE 1.0 --- .../fir/contracts/description/ConeContractRenderer.kt | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/contracts/description/ConeContractRenderer.kt b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/contracts/description/ConeContractRenderer.kt index 4654e0d4a08..05b9eabfbb3 100644 --- a/compiler/fir/tree/src/org/jetbrains/kotlin/fir/contracts/description/ConeContractRenderer.kt +++ b/compiler/fir/tree/src/org/jetbrains/kotlin/fir/contracts/description/ConeContractRenderer.kt @@ -5,8 +5,6 @@ package org.jetbrains.kotlin.fir.contracts.description -import org.jetbrains.kotlin.contracts.description.expressions.* - class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDescriptionVisitor() { override fun visitConditionalEffectDeclaration(conditionalEffect: ConeConditionalEffectDeclaration, data: Nothing?) { conditionalEffect.effect.accept(this, data) @@ -66,11 +64,11 @@ class ConeContractRenderer(private val builder: StringBuilder) : ConeContractDes } private fun ConeContractDescriptionElement.isAtom(): Boolean = - this is VariableReference || this is ConstantReference || this is ConeIsNullPredicate || this is ConeIsInstancePredicate + this is ConeValueParameterReference || this is ConeConstantReference || this is ConeIsNullPredicate || this is ConeIsInstancePredicate private fun needsBrackets(parent: ConeContractDescriptionElement, child: ConeContractDescriptionElement): Boolean { if (child.isAtom()) return false if (parent is ConeLogicalNot) return true return parent::class != child::class } -} \ No newline at end of file +}