Minor: update testdata in ClsStubBuilder test on contracts

This commit is contained in:
Dmitry Savvinov
2018-10-18 13:05:10 +03:00
parent 5fb1bbe3f3
commit e2bf43c54f
@@ -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)