Function walk_unambig_ty 

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