Pavel Kirpichenkov
d17044515f
Common metadata compiler now reports compilation errors. Disable tests that are not yet supported or should be skipped as JVM-specific. KTIJ-28668
16 lines
314 B
Kotlin
Vendored
16 lines
314 B
Kotlin
Vendored
// FIR_IDENTICAL
|
|
// JVM_FILE_NAME: ContractsKt
|
|
|
|
/* Contract information is stored for .proto-based stubs, but not for source stubs */
|
|
// KNM_K2_IGNORE
|
|
|
|
package test
|
|
|
|
import kotlin.contracts.*
|
|
|
|
@OptIn(ExperimentalContracts::class)
|
|
fun myRequire(x: Boolean) {
|
|
contract {
|
|
returns(true) implies (x)
|
|
}
|
|
} |