returnsNotNull

Требования к платформе и версии: JVM (1.0), JS (1.0), Native (1.0)

abstract fun returnsNotNull(): ReturnsNotNull

Описывает ситуацию, когда функция возвращает нормальное значение, которое не является null.

Для описания условного эффекта, происходящего в таком случае, используйте функцию SimpleEffect.implies.