FILE: test.kt
    public final fun box(): R|kotlin/String| {
        lval x: R|<anonymous>| = object : R|base/Jaba| {
            private constructor(): R|<anonymous>| {
                super<R|base/Jaba|>()
            }

            private final val a: R|kotlin/String| = String(OK)
                private get(): R|kotlin/String|

            local final inner class S : R|kotlin/Any| {
                public <anonymous>.constructor(): R|<local>/<anonymous>.S| {
                    super<R|kotlin/Any|>()
                }

                public final fun foo(): R|kotlin/String| {
                    ^foo this@R|/<anonymous>|.R|/<anonymous>.a|
                }

            }

            public final fun bar(): R|kotlin/String| {
                ^bar this@R|/<anonymous>|.R|<local>/<anonymous>.S.S|().R|<local>/foo|()
            }

        }

        ^box R|<local>/x|.R|/<anonymous>.bar|()
    }
