From e2bf43c54fe7585fd0804dbf5d025dd28e90e13f Mon Sep 17 00:00:00 2001 From: Dmitry Savvinov Date: Thu, 18 Oct 2018 13:05:10 +0300 Subject: [PATCH] Minor: update testdata in ClsStubBuilder test on contracts --- idea/testData/decompiler/stubBuilder/Contracts/Contracts.kt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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)