BEFORE MODIFICATION:
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int|
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
        ^ Int(1)
    }

AFTER MODIFICATION:
public final [ResolvedTo(ANNOTATION_ARGUMENTS)] val x: R|kotlin/Int|
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int| {
        ^ Int(1)
    }
