❗️ Все новые функции пока экспериментальные — их использование требует аннотаций или специальных флагов компилятора.

val Any.isHelloString: Boolean
    get() {
        contract { returns(true) implies (this@isHelloString is String) }
        return "hello" == this
    }

fun decode(encoded: String?): String? {
    contract { (encoded != null) implies (returnsNotNull()) }
    if (encoded == null) return null
    return java.net.URLDecoder.decode(encoded, "UTF-8")
}

fun <T> T.alsoIf(
    condition: Boolean,
    block: (T) -> Unit,
): T {
    contract {
        // Объявляет, что лямбда будет вызвана не более одного раза
        callsInPlace(block, InvocationKind.AT_MOST_ONCE)
        // Объявляет, что условие считается истинным внутри лямбды
        condition holdsIn block
    }
    if (condition) block(this)
    return this
}

fun <T, F : Failure> Result<T, F>.isHttpError(): Boolean {
    contract {
        returns(true) implies (this@isHttpError is Result.Failed<Failure.HttpError>)
    }
    return this is Result.Failed && this.failure is Failure.HttpError
}

Контракты помогают компилятору и IDE лучше понимать поведение функций и условий в коде. Это значит: меньше лишних !!, меньше кастов типов, больше подсказок от IDE и меньше багов на рантайме. По сути, вы даёте компилятору «дополнительные знания», и он становится умнее при анализе вашего кода.