<init>

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

ExperimentalContracts()

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

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