ReturnsNotNull

Common

JVM

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