Function __action295

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