local final [BODY_RESOLVE] fun x(): R|kotlin/Int| {
    ^x R|<local>/x|
}
