Google Git
Sign in
pigweed / third_party / github / JetBrains / kotlin / f467c970b2a4ee4ada1a66e72db80b847652c1d1 / . / compiler / testData / psi / contracts / SimpleFunctionWithContract.kt
blob: d1a70a57d97700681dae92e7279007c55aa2e888 [file] [log] [blame]
fun foo(s: String?) contract [returns() implies (s != null)] {
s ?: throw NullArgumentException()
}