FILE: openInInterface.kt
    public abstract interface Some : R|kotlin/Any| {
        public abstract fun foo(): R|kotlin/Unit|

        public open fun bar(): R|kotlin/Unit| {
        }

        public abstract val x: R|kotlin/Int|
            public get(): R|kotlin/Int|

        public open val y: R|kotlin/Int| = Int(1)
            public get(): R|kotlin/Int|

        public open val z: R|kotlin/Int|
            public get(): R|kotlin/Int| {
                ^ Int(1)
            }

        public abstract var xx: R|kotlin/Int|
            public get(): R|kotlin/Int|
            public set(value: R|kotlin/Int|): R|kotlin/Unit|

        public open var yy: R|kotlin/Int| = Int(1)
            public get(): R|kotlin/Int|
            public set(value: R|kotlin/Int|): R|kotlin/Unit|

        public open var zz: R|kotlin/Int|
            public get(): R|kotlin/Int|
            public set(value: R|kotlin/Int|): R|kotlin/Unit| {
                this@R|/Some|.F|/Some.zz| = R|<local>/value|
            }

    }