Function __action153

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