Migrate Experimental->RequiresOptIn in project sources

This commit is contained in:
Alexander Udalov
2020-03-05 01:24:31 +01:00
parent 795d6ab407
commit d668808b44
7 changed files with 11 additions and 11 deletions
@@ -17,7 +17,7 @@ package org.jetbrains.kotlin.types.refinement
* either finding some other API or removing @TypeRefinement (and thus "publishing"
* API for broader use)
*/
@Experimental(level = Experimental.Level.ERROR)
@RequiresOptIn(level = RequiresOptIn.Level.ERROR)
@Retention(AnnotationRetention.BINARY)
@Target(AnnotationTarget.CLASS, AnnotationTarget.FUNCTION, AnnotationTarget.PROPERTY)
annotation class TypeRefinement