| 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 |