kotlin-fork/compiler/testData/psi/SimpleFunctionWithContract.kt

fun foo(s: String?) contract [returns() implies (s != null)] {
    s ?: throw NullArgumentException()
}