| package test |
| |
| public fun returnsAndCalls(/*0*/ b: kotlin.Boolean, /*1*/ block: () -> kotlin.Unit): kotlin.Unit |
| Returns(FALSE) -> !b |
| CallsInPlace(block, UNKNOWN) |
| Returns(TRUE) -> b |
| |
| public fun returnsAndFinished(/*0*/ b: kotlin.Boolean): kotlin.Unit |
| Returns(TRUE) -> b |
| Returns(WILDCARD) -> b != null |
| Returns(FALSE) -> !b |
| |
| public fun severalCalls(/*0*/ x: () -> kotlin.Unit, /*1*/ y: () -> kotlin.Unit): kotlin.Unit |
| CallsInPlace(x, AT_MOST_ONCE) |
| CallsInPlace(y, AT_LEAST_ONCE) |
| |
| public fun threeReturnsValue(/*0*/ b: kotlin.Boolean): kotlin.Unit |
| Returns(NOT_NULL) -> b != null |
| Returns(TRUE) -> b |
| Returns(FALSE) -> !b |
| |
| public fun twoReturnsValue(/*0*/ b: kotlin.Boolean): kotlin.Unit |
| Returns(TRUE) -> b |
| Returns(FALSE) -> !b |
