Function __action309

fn __action309(
    cx: &mut ParseCtxt<'_>,
    (_, v, _): (Location, Vec<RefineArg>, Location),
    (_, e, _): (Location, RefineArg, Location),
) -> Vec<RefineArg>