Function traverse_ty_with_lifetime 

fn traverse_ty_with_lifetime<'tcx, F: Fn(Region<'_>, usize)>(
    ty: Ty<'tcx>,
    no: &mut usize,
    f: &F,
)