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