Function walk_refine_arg 

pub fn walk_refine_arg<'v, V: Visitor<'v>>(vis: &mut V, arg: &'v RefineArg)