Function walk_ty 

pub fn walk_ty<'v, V: Visitor<'v>>(
    visitor: &mut V,
    typ: &'v Ty<'v, AmbigArg>,
) -> V::Result