diff --git a/idea/testData/decompiler/stubBuilder/Contracts/Contracts.kt b/idea/testData/decompiler/stubBuilder/Contracts/Contracts.kt index a4337199b37..be218e07f72 100644 --- a/idea/testData/decompiler/stubBuilder/Contracts/Contracts.kt +++ b/idea/testData/decompiler/stubBuilder/Contracts/Contracts.kt @@ -1,10 +1,10 @@ // JVM_FILE_NAME: ContractsKt -@file:Suppress("INVISIBLE_MEMBER") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* +@UseExperimental(ExperimentalContracts::class) fun myRequire(x: Boolean) { contract { returns(true) implies (x)