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

Начиная с Kotlin: 2.2

@RequiresOptIn
annotation class ExperimentalExtendedContracts

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

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