Vladimir Sukharev
0fb853a995
https://youtrack.jetbrains.com/issue/KT-60004/K2-Disappeared-CONTRACTNOTALLOWED Merge-request: KT-MR-12613 Merged-by: Vladimir Sukharev <Vladimir.Sukharev@jetbrains.com>
21 lines
626 B
Kotlin
Vendored
21 lines
626 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// !OPT_IN: kotlin.contracts.ExperimentalContracts
|
|
|
|
/*
|
|
* ADDITION TO `KOTLIN DIAGNOSTICS NOT LINKED SPEC TEST (POSITIVE)`
|
|
*
|
|
* SECTIONS: contracts, declarations, contractBuilder, common
|
|
* NUMBER: 1
|
|
* DESCRIPTION: Functions with simple contracts.
|
|
*/
|
|
|
|
import kotlin.contracts.*
|
|
|
|
// The following is an useful addition to testcases in compiler/tests-spec/testData/diagnostics/notLinked/contracts/declarations/contractBuilder/common/pos/1.kt
|
|
|
|
// TESTCASE NUMBER: 4
|
|
inline fun case_4(block: () -> Unit) {
|
|
kotlin.contracts.contract { callsInPlace(block, InvocationKind.EXACTLY_ONCE) }
|
|
return block()
|
|
}
|