Dmitriy Novozhilov
e6b5cb5216
Update includes:
- Changing syntax of `OI/`NI` tags from `<!NI;TAG!>` to `<!TAG{NI}!>`
- Fix some incorrect directives
- Change order of diagnostics in some places
- Remove ignored diagnostics from FIR test data (previously `DIAGNOSTICS` didn't work)
- Update FIR dumps in some places and add `FIR_IDENTICAL` if needed
- Replace all JAVAC_SKIP with SKIP_JAVAC directive
49 lines
1.3 KiB
Kotlin
Vendored
49 lines
1.3 KiB
Kotlin
Vendored
// !LANGUAGE: +AllowContractsForCustomFunctions +UseCallsInPlaceEffect
|
|
// !USE_EXPERIMENTAL: kotlin.contracts.ExperimentalContracts
|
|
// !DIAGNOSTICS: -INVISIBLE_REFERENCE -INVISIBLE_MEMBER
|
|
|
|
import kotlin.contracts.*
|
|
|
|
inline fun myRun(block: () -> Unit) {
|
|
contract {
|
|
callsInPlace(block, InvocationKind.EXACTLY_ONCE)
|
|
}
|
|
block()
|
|
}
|
|
|
|
inline fun <T> unknownRun(block: () -> T): T = block()
|
|
|
|
fun throwIfNotCalled() {
|
|
val x: Int
|
|
myRun outer@ {
|
|
unknownRun {
|
|
myRun {
|
|
<!CAPTURED_VAL_INITIALIZATION!>x<!> = 42
|
|
return@outer
|
|
}
|
|
}
|
|
throw java.lang.IllegalArgumentException()
|
|
}
|
|
// x *is* initialized here, because if myRun was never called -> exception
|
|
// were thrown and control flow wouldn't be here
|
|
println(x)
|
|
}
|
|
|
|
fun catchThrowIfNotCalled() {
|
|
val x: Int
|
|
try {
|
|
myRun outer@ {
|
|
unknownRun {
|
|
myRun {
|
|
<!CAPTURED_VAL_INITIALIZATION!>x<!> = 42
|
|
return@outer
|
|
}
|
|
}
|
|
throw java.lang.IllegalArgumentException()
|
|
}
|
|
} catch (ignored: java.lang.IllegalArgumentException) { }
|
|
|
|
// x *isn't* initialized here!
|
|
println(<!UNINITIALIZED_VARIABLE!>x<!>)
|
|
}
|