fn __action305(
cx: &mut ParseCtxt<'_>,
(_, v, _): (Location, Vec<RefineParam>, Location),
(_, e, _): (Location, RefineParam, Location),
) -> Vec<RefineParam>
fn __action305(
cx: &mut ParseCtxt<'_>,
(_, v, _): (Location, Vec<RefineParam>, Location),
(_, e, _): (Location, RefineParam, Location),
) -> Vec<RefineParam>