``` ExperimentalContracts fun foo bar Int contract returns i kotlinlang #announcements

``` @ExperimentalContracts fun foo(bar: Int) { ...

LeoColman

09/27/2018, 6:19 PM

Copy code

@ExperimentalContracts
fun foo(bar: Int) {
    contract { 
        returns() implies (bar < 10)
    }
}