Function __action559

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