FILE: nameBasedDestructuringShortFormAfter.kt
    public final? class Tuple : R|kotlin/Any| {
        public? constructor(first: String, second: Int): R|Tuple| {
            LAZY_super<R|kotlin/Any|>
        }

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

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

    }
    public? final? fun declaration(x: Tuple): R|kotlin/Unit| { LAZY_BLOCK }
    public? final? fun loop(x: List<Tuple>): R|kotlin/Unit| { LAZY_BLOCK }
    public? final? fun lambda(): R|kotlin/Unit| { LAZY_BLOCK }
