Function walk_ty 

pub fn walk_ty<'v, V: Visitor<'v>>(vis: &mut V, ty: &Ty<'v>)