kotlin-stdlib / kotlin.contracts / ExperimentalContracts

ExperimentalContracts

Common
JVM
JS
Native
1.3
annotation class ExperimentalContracts
(source)

This marker distinguishes the experimental contract declaration API and is used to opt-in for that feature when declaring contracts of user functions.

Any usage of a declaration annotated with @ExperimentalContracts must be accepted either by annotating that usage with the OptIn annotation, e.g. @OptIn(ExperimentalContracts::class), or by using the compiler argument -opt-in=kotlin.contracts.ExperimentalContracts.

Constructors

Common
JVM
JS
Native
1.0

<init>

This marker distinguishes the experimental contract declaration API and is used to opt-in for that feature when declaring contracts of user functions.

ExperimentalContracts()