Do { scoped stuff } /* that is all */

Language Design
6

Yeah it is. This is a part of kotlin since 1.3, I belive and it works fine for me

data class Foo(val a: Int = 1, val b: Int = 2)

fun main() {
//sampleStart
	var thingWithComponentGetters: Foo? = Foo()

	if (thingWithComponentGetters != null) {
		run {
    	    val (thing1, thing2) = thingWithComponentGetters;  
            println(thing1)
            println(thing2)
		}
    }
//sampleEnd
}

This is done with Contracts, which are fully suported on a bytecode level but the api is still experimental. Just google them, there are plenty of blog posts about them.

2 Likes