pub fn contains_this(ty: &Type) -> bool