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