implies

Начиная с Kotlin: 1.3

@ExperimentalContracts


@IgnorableReturnValue

abstract infix fun implies(booleanExpression: Boolean): ConditionalEffect

Указывает, что при наблюдении этого эффекта гарантируется истинность booleanExpression.

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

• проверки на true или false, если параметр или получатель — Boolean;

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

• проверки типа экземпляра (is, !is);

• комбинацию перечисленных выше проверок с помощью логических операторов (&&, ||, !).