Minor: update testdata in completion test on contracts

2018-10-18 12:09:10 +03:00
parent 763e72603a
commit 7887bafc5b
3 changed files with 8 additions and 8 deletions
@@ -1,9 +1,9 @@
 // COMPILER_ARGUMENTS: -XXLanguage:+AllowContractsForCustomFunctions -XXLanguage:+UseReturnsEffect
-@file:Suppress("INVISIBLE_MEMBER")
 package test

-import kotlin.internal.contracts.*
+import kotlin.contracts.*

+@UseExperimental(ExperimentalContracts::class)
 fun myRequire(x: Boolean) {
    contract {
        returns() implies x