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 +}