<init>

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

ExperimentalContracts()

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

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