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