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