Rename UseExperimental->OptIn, Experimental->RequiresOptIn in quickfix and IDE tests

2019-12-27 16:32:19 +01:00
parent da077b5353
commit 9187a85aaf
41 changed files with 104 additions and 104 deletions
@@ -5,7 +5,7 @@ package test

 import kotlin.contracts.*

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