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