FILE: main.kt
    public final [BODY_RESOLVE] class Foo : R|kotlin/Any| {
        public final [CONTRACTS] val x: R|kotlin/Int|
            public get(): R|kotlin/Int|

        public constructor(): R|Foo| {
            super<R|kotlin/Any|>()
            this@R|/Foo|.R|/Foo.x| = Int(42)
        }

    }
