Function __action294

fn __action294(
    cx: &mut ParseCtxt<'_>,
    (_, __0, _): (Location, Ensures, Location),
) -> Vec<Ensures>