Platform and version requirements: JVM (1.0), JS (1.0), Native (1.0)

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 UseExperimental annotation, e.g. @UseExperimental(ExperimentalContracts::class), or by using the compiler argument -Xuse-experimental=kotlin.contracts.ExperimentalContracts.

© 2010–2019 JetBrains s.r.o.
Licensed under the Apache License, Version 2.0.