pub fn contains_ty<'tcx>(ty: Ty<'tcx>, other_ty: Ty<'tcx>) -> bool
Walks into ty and returns true if any inner type is the same as other_ty
ty
true
other_ty