implies

Начиная с Kotlin: 2.2

@ExperimentalExtendedContracts
abstract infix fun Boolean.implies(value: ReturnsNotNull)

Задает эффект, который будет наблюдаться, если условие, переданное в качестве аргумента-получателя, выполняется.

На данный момент поддерживается только эффект ReturnsNotNull.

Примечание: аргумент-получатель может принимать только подмножество логических выражений, в которых параметр или получатель функции (this) проходит через

• проверки на null (== null, != null);

• проверки типа (is, !is);