<init>

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

ExperimentalContracts()

Этот маркер отличает экспериментальный API объявления контрактов и используется для включения этой функции при объявлении контрактов пользовательских функций.

Любое использование объявления, помеченного @ExperimentalContracts, должно быть принято, либо добавив аннотацию OptIn, например @OptIn(ExperimentalContracts::class), либо используя аргумент компилятора -Xopt-in=kotlin.contracts.ExperimentalContracts.