FILE: destructuring.kt
    public? final? data class Some : R|kotlin/Any| {
        public? constructor(first: Int, second: Double, third: String): R|Some| {
            super<R|kotlin/Any|>()
        }

        public? final? val first: Int = R|<local>/first|
            public? get(): Int

        public? final? val second: Double = R|<local>/second|
            public? get(): Double

        public? final? val third: String = R|<local>/third|
            public? get(): String

        public final fun component1(): Int

        public final fun component2(): Double

        public final fun component3(): String

        public final fun copy(first: Int = this@R|/Some|.R|/Some.first|, second: Double = this@R|/Some|.R|/Some.second|, third: String = this@R|/Some|.R|/Some.third|): R|Some|

    }
    public? final? fun foo(some: Some): R|kotlin/Unit| {
        lval <destruct>: <implicit> = some#
        lvar x: <implicit> = R|<local>/<destruct>|.component1#()
        lvar y: <implicit> = R|<local>/<destruct>|.component2#()
        lvar z: String = R|<local>/<destruct>|.component3#()
        lval <unary>: <implicit> = x#
        x# = R|<local>/<unary>|.inc#()
        R|<local>/<unary>|
        *=(y#, Double(2.0))
        z# = String()
    }
