Function visit_refine_params

fn visit_refine_params<'a, F>(
    visit: impl FnOnce(&mut RefineParamVisitor<F>),
    f: F,
) -> Result<(), ErrorGuaranteed>
where
    F: FnMut(&RefineParam<'a>) -> Result<(), ErrorGuaranteed>,