blob: d53911d2345cc2eda1bde1cf5aa8f195ca924d45 [file]
// LANGUAGE: +ContextReceivers, -ContextParameters
// IGNORE_BACKEND_K2: ANY
// TARGET_BACKEND: JVM_IR
// WITH_STDLIB
// ISSUE: KT-52887
interface SnarkRoute {
context(PageContext)
fun route(route: String, block: context(PageContext, SnarkRoute) () -> Unit)
}
context(PageContext)
fun SnarkRoute.pagesFrom() {
route("") {
get {
}
}
}
data class PageContext(val context: String)
fun SnarkRoute.get(foo: ()-> Unit) {}
fun box(): String {
return "OK"
}