[ResolvedTo(BODY_RESOLVE)] lval y: R|kotlin/Int| = R|<local>/f|