Function __action309

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