FILE: myProperty.kt
    public final [IMPLICIT_TYPES_BODY_RESOLVE] val myProperty: R|kotlin/Int|
        public get(): R|kotlin/Int| {
            ^ Int(42)
        }
