Function __action501

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