Adt for Unique may contain a reference

2023-06-20 16:30:44 +02:00 · 2023-06-20 16:30:44 +02:00 · 74aad5ce56
commit 74aad5ce56
parent 6fc0273b5a
1 changed files with 1 additions and 0 deletions
--- a/compiler/rustc_mir_transform/src/add_retag.rs
+++ b/compiler/rustc_mir_transform/src/add_retag.rs
@ -28,6 +28,7 @@ fn may_contain_reference<'tcx>(ty: Ty<'tcx>, depth: u32, tcx: TyCtxt<'tcx>) -> b
        // References
        ty::Ref(..) => true,
        ty::Adt(..) if ty.is_box() => true,
+        ty::Adt(adt, _) if Some(adt.did()) == tcx.lang_items().ptr_unique() => true,
        // Compound types: recurse
        ty::Array(ty, _) | ty::Slice(ty) => {
            // This does not branch so we keep the depth the same.