FILE: main.kt
    public final [BODY_RESOLVE] class Foo : R|kotlin/Any| {
        public [BODY_RESOLVE] constructor(): R|Foo| {
            super<R|kotlin/Any|>()
        }

        public final [BODY_RESOLVE] val x: R|kotlin/Int|
            [BODY_RESOLVE] public get(): R|kotlin/Int|

        init {
            this@R|/Foo|.R|/Foo.x| = Int(42)
        }

    }
