public open override [ResolvedTo(BODY_RESOLVE)] fun baseMember(): R|kotlin/Int| {
    ^baseMember Int(3)
}
