pub fn walk_type<'hir, V>(v: &mut V, ty: &'hir Type<'hir>) -> V::Resultwhere V: Visitor<'hir> + ?Sized,