diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/breakContinuesInInlinedLambda.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/breakContinuesInInlinedLambda.kt index bc1a0edd15c..3ae17899644 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/breakContinuesInInlinedLambda.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/breakContinuesInInlinedLambda.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.internal.ContractsDsl -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/inlinedLambdaAlwaysThrows.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/inlinedLambdaAlwaysThrows.kt index 23c8afe6446..a31d10bd4ed 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/inlinedLambdaAlwaysThrows.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/inlinedLambdaAlwaysThrows.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/irrelevantUnknownClosure.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/irrelevantUnknownClosure.kt index a6add1a03e9..828d0471ea2 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/irrelevantUnknownClosure.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/irrelevantUnknownClosure.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchFinally.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchFinally.kt index 6407667ac4c..0a0922b8342 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchFinally.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchFinally.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchs.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchs.kt index f4643c90f36..b7da20d01d7 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchs.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/nestedTryCatchs.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/nonReturningInlinedLambda.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/nonReturningInlinedLambda.kt index 3cee9f12c3a..6427e79c51c 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/nonReturningInlinedLambda.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/nonReturningInlinedLambda.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/returnsAndCalls.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/returnsAndCalls.kt index 8c92d579b15..5cec285832b 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/returnsAndCalls.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/returnsAndCalls.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.internal.ContractsDsl -import kotlin.internal.contracts.* +import kotlin.contracts.* fun callsAndInverts(b: Boolean, block: () -> Unit): Boolean { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/throwIfNotCalled.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/throwIfNotCalled.kt index 711f1d78410..7f6c7aa0c8d 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/throwIfNotCalled.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/throwIfNotCalled.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit) { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatch.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatch.kt index 73d39613d1e..cd2786de420 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatch.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatch.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatchFinally.kt b/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatchFinally.kt index 7a9abac2fcd..41756cbb638 100644 --- a/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatchFinally.kt +++ b/compiler/testData/cfgVariablesWithStdLib/contracts/tryCatchFinally.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/cfgWithStdLib/contracts/labeledReturns.kt b/compiler/testData/cfgWithStdLib/contracts/labeledReturns.kt index 6a48892fff0..d989ef668ba 100644 --- a/compiler/testData/cfgWithStdLib/contracts/labeledReturns.kt +++ b/compiler/testData/cfgWithStdLib/contracts/labeledReturns.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun T.myLet(block: (T) -> R): R { contract { diff --git a/compiler/testData/cfgWithStdLib/contracts/nonReturningInlinedLambda.kt b/compiler/testData/cfgWithStdLib/contracts/nonReturningInlinedLambda.kt index 3cee9f12c3a..6427e79c51c 100644 --- a/compiler/testData/cfgWithStdLib/contracts/nonReturningInlinedLambda.kt +++ b/compiler/testData/cfgWithStdLib/contracts/nonReturningInlinedLambda.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/cfgWithStdLib/contracts/returnsAndCalls.kt b/compiler/testData/cfgWithStdLib/contracts/returnsAndCalls.kt index 7c6730a1929..5ebac7d613f 100644 --- a/compiler/testData/cfgWithStdLib/contracts/returnsAndCalls.kt +++ b/compiler/testData/cfgWithStdLib/contracts/returnsAndCalls.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* fun callsAndInverts(b: Boolean, block: () -> Unit): Boolean { contract { diff --git a/compiler/testData/cfgWithStdLib/contracts/throwIfNotCalled.kt b/compiler/testData/cfgWithStdLib/contracts/throwIfNotCalled.kt index 711f1d78410..7f6c7aa0c8d 100644 --- a/compiler/testData/cfgWithStdLib/contracts/throwIfNotCalled.kt +++ b/compiler/testData/cfgWithStdLib/contracts/throwIfNotCalled.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit) { contract { diff --git a/compiler/testData/cfgWithStdLib/contracts/tryCatchFinally.kt b/compiler/testData/cfgWithStdLib/contracts/tryCatchFinally.kt index 7a9abac2fcd..41756cbb638 100644 --- a/compiler/testData/cfgWithStdLib/contracts/tryCatchFinally.kt +++ b/compiler/testData/cfgWithStdLib/contracts/tryCatchFinally.kt @@ -1,6 +1,7 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/codegen/boxInline/contracts/complexInitializer.kt b/compiler/testData/codegen/boxInline/contracts/complexInitializer.kt index eea2bba4d89..62836d49417 100644 --- a/compiler/testData/codegen/boxInline/contracts/complexInitializer.kt +++ b/compiler/testData/codegen/boxInline/contracts/complexInitializer.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt b/compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt index e380ea87f55..231f7941d89 100644 --- a/compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt +++ b/compiler/testData/codegen/boxInline/contracts/complexInitializerWithStackTransformation.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt b/compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt index a135efbfd55..d3165bcaf81 100644 --- a/compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt +++ b/compiler/testData/codegen/boxInline/contracts/definiteLongValInitialization.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt b/compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt index 5f3bfca66bf..e3d78f47792 100644 --- a/compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt +++ b/compiler/testData/codegen/boxInline/contracts/definiteNestedValInitialization.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt b/compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt index facebe3d17b..9cf0b52e1ea 100644 --- a/compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt +++ b/compiler/testData/codegen/boxInline/contracts/definiteValInitialization.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt b/compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt index 8efab786e8e..71821d90589 100644 --- a/compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt +++ b/compiler/testData/codegen/boxInline/contracts/nonLocalReturn.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt b/compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt index 09760e9dd98..9eb9b9d6a92 100644 --- a/compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt +++ b/compiler/testData/codegen/boxInline/contracts/nonLocalReturnWithCycle.kt @@ -1,11 +1,12 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // WITH_RUNTIME // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt b/compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt index 593f230d9a0..efafcde6406 100644 --- a/compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt +++ b/compiler/testData/codegen/boxInline/contracts/propertyInitialization.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt b/compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt index b7534d27b27..c2566954a52 100644 --- a/compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt +++ b/compiler/testData/codegen/boxInline/contracts/valInitializationAndUsageInNestedLambda.kt @@ -1,10 +1,11 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // IGNORE_BACKEND: JVM_IR // IGNORE_BACKEND: NATIVE // FILE: 1.kt package test -import kotlin.internal.contracts.* +import kotlin.contracts.* @Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") public inline fun myrun(block: () -> R): R { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/breakContinuesInInlinedLambda.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/breakContinuesInInlinedLambda.kt index a965872a853..c0f84472f48 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/breakContinuesInInlinedLambda.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/breakContinuesInInlinedLambda.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/expressionBody.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/expressionBody.kt index 332b0386845..157c016709d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/expressionBody.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/expressionBody.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/implicitCastToAnyInReturnType.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/implicitCastToAnyInReturnType.kt index 01542f8cea5..24782933ce5 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/implicitCastToAnyInReturnType.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/implicitCastToAnyInReturnType.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/inlinedLambdaAlwaysThrows.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/inlinedLambdaAlwaysThrows.kt index 1a4a901dfc3..333d439a709 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/inlinedLambdaAlwaysThrows.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/inlinedLambdaAlwaysThrows.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/irrelevantUnknownClosure.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/irrelevantUnknownClosure.kt index cdb5ed4a544..9c26e6a7f3b 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/irrelevantUnknownClosure.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/irrelevantUnknownClosure.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/labeledReturns.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/labeledReturns.kt index 84d071ca19f..8c8e497225e 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/labeledReturns.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/labeledReturns.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchFinally.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchFinally.kt index fef63a8aee2..48ec5e854ff 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchFinally.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchFinally.kt @@ -1,7 +1,8 @@ // !DIAGNOSTICS: -UNUSED_PARAMETER -INVISIBLE_MEMBER -INVISIBLE_REFERENCE +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchs.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchs.kt index a2a578cdcb0..429e24dd162 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchs.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nestedTryCatchs.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonLocalReturn.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonLocalReturn.kt index c14b364a28a..a33f7f59b4d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonLocalReturn.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonLocalReturn.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun T.myLet(block: (T) -> R): R { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonReturningInlinedLambda.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonReturningInlinedLambda.kt index 4cff966df1d..aaab946b9fc 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonReturningInlinedLambda.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/nonReturningInlinedLambda.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit): Unit { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/severalJumpOutsFromInlinedLambda.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/severalJumpOutsFromInlinedLambda.kt index d82660fc79b..8d2b1723fb9 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/severalJumpOutsFromInlinedLambda.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/severalJumpOutsFromInlinedLambda.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/throwIfNotCalled.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/throwIfNotCalled.kt index 18ef30583b9..33907cea37c 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/throwIfNotCalled.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/throwIfNotCalled.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> Unit) { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatch.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatch.kt index 9caa9f0ba82..c24e15d9c91 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatch.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatch.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatchFinally.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatchFinally.kt index d3e8079193e..5b9180c669d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatchFinally.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/tryCatchFinally.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -UNUSED_PARAMETER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/typeMismatch.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/typeMismatch.kt index 2db7ed0f525..cdc57e2c590 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/typeMismatch.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/typeMismatch.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/unreachableCode.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/unreachableCode.kt index 1b5864f86df..17534021555 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/unreachableCode.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/flowInlining/unreachableCode.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* inline fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/valDefiniteReassignment.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/valDefiniteReassignment.kt index 30927987ee5..2ec535e2522 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/valDefiniteReassignment.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/valDefiniteReassignment.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun runTwice(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varDefiniteInitialization.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varDefiniteInitialization.kt index 9f4b03efb98..299a2a32c11 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varDefiniteInitialization.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varDefiniteInitialization.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun runTwice(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varIndefiniteIntialization.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varIndefiniteIntialization.kt index cfa30791ae0..982dea5de2d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varIndefiniteIntialization.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/atLeastOnce/varIndefiniteIntialization.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun runTwice(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteInitialization.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteInitialization.kt index b486c4626dd..d63d0910727 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteInitialization.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteInitialization.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteReassignment.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteReassignment.kt index 081e6da135e..c929eab5640 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteReassignment.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valDefiniteReassignment.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valIndefiniteInitialization.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valIndefiniteInitialization.kt index 8ae785a7ddc..980b3dd1fed 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valIndefiniteInitialization.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/valIndefiniteInitialization.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varDefiniteInitalization.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varDefiniteInitalization.kt index e046bcc18cd..d7ec16a537e 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varDefiniteInitalization.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varDefiniteInitalization.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varIndefiniteInitialization.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varIndefiniteInitialization.kt index d467e7a3b71..7e9fc0f767e 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varIndefiniteInitialization.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/varIndefiniteInitialization.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myRun(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/withReceiver.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/withReceiver.kt index 456966b6895..67bed1b860e 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/withReceiver.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/exactlyOnce/withReceiver.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun T.myLet(block: (T) -> R): R { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/unknown/unknownInvocations.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/unknown/unknownInvocations.kt index f88084d868a..bbab5b969b0 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/unknown/unknownInvocations.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/controlflow/initialization/unknown/unknownInvocations.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun inPlace(block: () -> T): T { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/booleanComparisons.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/booleanComparisons.kt index b66c5af2ede..42a263fb8f5 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/booleanComparisons.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/booleanComparisons.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun foo(b: Boolean): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/callInContractDescription.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/callInContractDescription.kt index dc258f49a02..16a03604f39 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/callInContractDescription.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/callInContractDescription.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun bar(x: Int): Boolean = x == 0 diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/nestedConditionalEffects.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/nestedConditionalEffects.kt index f96801cfa6e..355fe9efdea 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/nestedConditionalEffects.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/nestedConditionalEffects.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun foo(boolean: Boolean) { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/notFirstStatement.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/notFirstStatement.kt index ad39173ee1c..0a401035204 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/notFirstStatement.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/notFirstStatement.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun foo(y: Boolean) { val x: Int = 42 diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/referenceToProperty.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/referenceToProperty.kt index 5a93df3830d..fd5cc7b817c 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/referenceToProperty.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/referenceToProperty.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* class Foo(val x: Int?) { fun isXNull(): Boolean { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/unlabeledReceiver.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/unlabeledReceiver.kt index 6758ea658fd..3441c1d8c0d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/unlabeledReceiver.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/errors/unlabeledReceiver.kt @@ -1,11 +1,12 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun Any?.foo(): Boolean { contract { - returns(true) implies (?)!>this != null) + returns(true) implies (?)!>this != null) } return this != null } \ No newline at end of file diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/useBeforeDeclaration.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/useBeforeDeclaration.kt index 18bee4913f2..1d56dbae622 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/useBeforeDeclaration.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/dsl/useBeforeDeclaration.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts -import kotlin.internal.contracts.* +import kotlin.contracts.* fun test(x: Any?) { if (isString(x)) { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/callWithDefaultValue.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/callWithDefaultValue.kt index 6f635f53eec..5ba80682dff 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/callWithDefaultValue.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/callWithDefaultValue.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myAssert(condition: Boolean, message: String = "") { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/catchExceptionSpilling.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/catchExceptionSpilling.kt index 75a75940739..4b65a11ae93 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/catchExceptionSpilling.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/catchExceptionSpilling.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myAssert(condition: Boolean) { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/compositions.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/compositions.kt index 93349a52a69..0a3a6595435 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/compositions.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/compositions.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun isString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt index b4437a0a73b..6c81850b82b 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/deeplyNested.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myAssert(condition: Boolean) { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectingInfo.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectingInfo.kt index 7cf0c5db040..6b3c2c59051 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectingInfo.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectingInfo.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun isString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectionTypes.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectionTypes.kt index e64e0c736e5..36f170753a9 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectionTypes.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/intersectionTypes.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun notIsString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/implicitIff.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/implicitIff.kt index db3957f05ce..eb70fd609de 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/implicitIff.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/implicitIff.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun onlyTrue(b: Boolean): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/returnsAndCalls.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/returnsAndCalls.kt index d924f31c220..7a8f99a8f34 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/returnsAndCalls.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/multieffect/returnsAndCalls.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +UseCallsInPlaceEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun callsAndInverts(b: Boolean, block: () -> Unit): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/nullabilitySmartcastWhenNullability.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/nullabilitySmartcastWhenNullability.kt index 200bb908cf6..3aad95c869b 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/nullabilitySmartcastWhenNullability.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/nullabilitySmartcastWhenNullability.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun nullWhenNull(x: Int?): Int? { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperator.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperator.kt index 1f83569a606..8a96d626ef7 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperator.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperator.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun trueWhenString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithConstant.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithConstant.kt index e807f4a3dab..39434b361f1 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithConstant.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithConstant.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun trueWhenString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithUnknown.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithUnknown.kt index b755183fcb7..5c0515991ae 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithUnknown.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/andOperatorWithUnknown.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun trueWhenString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsOperator.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsOperator.kt index d20fe4b2c5f..d5f7fcf1987 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsOperator.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsOperator.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myEqualsNull(x: Int?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsWithNullableBoolean.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsWithNullableBoolean.kt index e26cbc99a59..3a4c2b0d1b3 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsWithNullableBoolean.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/equalsWithNullableBoolean.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun safeIsString(x: Any?): Boolean? { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/isInstanceOperator.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/isInstanceOperator.kt index 0b9f41d59cc..f24f6af4ba3 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/isInstanceOperator.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/isInstanceOperator.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun isString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperator.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperator.kt index 6bffca486e6..6b10acbf573 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperator.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperator.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun trueWhenString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithConstant.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithConstant.kt index cd0074385d3..5e675b5c305 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithConstant.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithConstant.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun trueWhenString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithUnknown.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithUnknown.kt index b13c557038e..a35c50791df 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithUnknown.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/operatorsTests/orOperatorWithUnknown.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun trueWhenString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/partiallyIncorrect.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/partiallyIncorrect.kt index 8bbe63802b1..6d685909369 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/partiallyIncorrect.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/partiallyIncorrect.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun isString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/receiver.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/receiver.kt index 67003043bef..5e506a0f54a 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/receiver.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/receiver.kt @@ -1,8 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER // !WITH_NEW_INFERENCE -import kotlin.internal.contracts.* +import kotlin.contracts.* fun Any?.isNull(): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/throwsEffect.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/throwsEffect.kt index b7f7e6c24e0..c2ff648ccd9 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/throwsEffect.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/throwsEffect.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun myAssert(condition: Boolean) { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/typeSmartcastWhenNullability.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/typeSmartcastWhenNullability.kt index a664aad3add..70f5c05b34d 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/typeSmartcastWhenNullability.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/typeSmartcastWhenNullability.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun nullWhenString(x: Any?): Int? { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/unreachableBranches.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/unreachableBranches.kt index 710aa6287cd..668ae673d36 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/unreachableBranches.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/unreachableBranches.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* // ===== Definitions ==== fun isString(x: Any?): Boolean { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubject.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubject.kt index 9e12ee90301..4bd760fb8d9 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubject.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubject.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun isString(x: Any?): Boolean { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubjectNullableBoolean.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubjectNullableBoolean.kt index ab0ec8c895d..4aedfbea57f 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubjectNullableBoolean.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withSubjectNullableBoolean.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun safeIsString(x: Any?): Boolean? { contract { diff --git a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withoutSubject.kt b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withoutSubject.kt index ad13972d73f..f65c322e10f 100644 --- a/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withoutSubject.kt +++ b/compiler/testData/diagnostics/testsWithStdLib/contracts/smartcasts/when/withoutSubject.kt @@ -1,7 +1,8 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +UseReturnsEffect +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts // !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER -import kotlin.internal.contracts.* +import kotlin.contracts.* fun isString(x: Any?): Boolean { contract { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/callsEffect.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/callsEffect.kt index 4b1363c42cd..076e52d27d1 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/callsEffect.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/callsEffect.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* fun callsEffectWithKind(block: (X, Y, Z) -> R) { contract { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/deeplyNestedExpression.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/deeplyNestedExpression.kt index ae41a1cbd47..ac8fd3d5843 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/deeplyNestedExpression.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/deeplyNestedExpression.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* class A diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/embedding.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/embedding.kt index dcb837e2ff1..7bd993108c4 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/embedding.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/embedding.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* // this tests specifically use primitive condition (predicate/value) as the // first argument of sequence, so that it would be optimized and embedded into message diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/fromStandardKt.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/fromStandardKt.kt index 62ff34b914c..df61d3343bd 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/fromStandardKt.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/fromStandardKt.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* public inline fun run(block: () -> R): R { contract { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/isInstancePredicate.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/isInstancePredicate.kt index f23e856e7d9..74daf7f6ee6 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/isInstancePredicate.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/isInstancePredicate.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* class A diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/logicOperators.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/logicOperators.kt index 571f2fd4451..f9619ac8d05 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/logicOperators.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/logicOperators.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* fun orSequence(x: Any?, y: Any?, b: Boolean) { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/multieffectContracts.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/multieffectContracts.kt index 6202ae7b716..b5b9c458598 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/multieffectContracts.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/multieffectContracts.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* fun twoReturnsValue(b: Boolean) { contract { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/mutualRecursion.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/mutualRecursion.kt index 342b3b560a2..7f8de6a8e45 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/mutualRecursion.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/mutualRecursion.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* fun foo(x: Any?): Boolean { contract { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/recursion.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/recursion.kt index 4819c2eff4b..e2afa4cd7f7 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/recursion.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/recursion.kt @@ -1,9 +1,10 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts @file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") package test -import kotlin.internal.contracts.* +import kotlin.contracts.* fun foo(n: Int, x: Any?): Boolean { contract { diff --git a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/withReceiver.kt b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/withReceiver.kt index 7e5da2eb9f2..0ed7a69fd51 100644 --- a/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/withReceiver.kt +++ b/compiler/testData/loadJava/compiledKotlinWithStdlib/contracts/withReceiver.kt @@ -1,9 +1,9 @@ // !LANGUAGE: +AllowContractsForCustomFunctions +ReadDeserializedContracts -@file:Suppress("INVISIBLE_MEMBER", "INVISIBLE_REFERENCE") +// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts package test -import kotlin.internal.contracts.* +import kotlin.contracts.* fun Any?.isNotNull(): Boolean { contract {