abstract fun returnsNotNull(): ReturnsNotNull
Describes a situation when a function returns normally with any value that is not null.
Use SimpleEffect.implies function to describe a conditional effect that happens in such case.
© 2010–2020 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.contracts/-contract-builder/returns-not-null.html