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