Экспериментальныеконтракты

Начиная с Kotlin: 1.3

@RequiresOptIn
annotation class ExperimentalContracts

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

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