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

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

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

    }
