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