Function __action147

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