Platform and version requirements: JVM (1.3), JS (1.3), Native (1.3)

@ExperimentalContracts interface ReturnsNotNull : 
    SimpleEffect

Describes a situation when a function returns normally with any non-null return value.

See Also

ContractBuilder.returnsNotNull