Function owns_allocation 

pub(crate) fn owns_allocation(tcx: TyCtxt<'_>, ty: Ty<'_>) -> bool