public final [ResolvedTo(BODY_RESOLVE)] fun onAir(): R|kotlin/Int| {
    local final [ResolvedTo(BODY_RESOLVE)] fun yyy(): R|kotlin/String| {
        ^yyy String(hello)
    }

}
