blob: 217bcb5f8819233a91400ab3bc6e3073437458c4 [file]
// IGNORE_BACKEND: ANDROID
// IGNORE_BACKEND_MULTI_MODULE: JVM_IR, JVM_IR_SERIALIZE
// LANGUAGE: +ContextParameters
// NO_CHECK_LAMBDA_INLINING
// FILE: 1.kt
@OptIn(kotlin.contracts.ExperimentalContracts::class)
public inline fun <T, T1, T2, R> context(with: T, receiver: T1, param: T2, block: context(T) T1.(T2) -> R): R {
kotlin.contracts.contract {
callsInPlace(block, kotlin.contracts.InvocationKind.EXACTLY_ONCE)
}
return block(with, receiver, param)
}
context(context: A)
public inline fun <A> contextOf(): A = context
// FILE: 2.kt
var result = 0L
fun contextOfWithContextParameter() {
fun <A> withLong(block: context(Long) Double.(Long) -> A): A =
context(1L, 10.0, 100L) { block(it) }
withLong {
result = contextOf<Long>() + this@withLong.toLong() + it
}
}
fun box(): String {
contextOfWithContextParameter()
if (result == 111L) return "OK"
return "$result"
}