FILE: [ResolvedTo(BODY_RESOLVE)] functionalType.kt
    public final [ResolvedTo(BODY_RESOLVE)] class A : R|kotlin/Any| {
        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] x: R|kotlin/Int| = Int(10), [ResolvedTo(BODY_RESOLVE)] b: R|kotlin/String|): R|A| {
            super<R|kotlin/Any|>()
        }

        public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = R|<local>/x|
            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|

        public final [ResolvedTo(BODY_RESOLVE)] val b: R|kotlin/String| = R|<local>/b|
            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

    }
