From 1984e208e06f320d62306e19940b86156460f98e Mon Sep 17 00:00:00 2001
From: Moulins <arthur.heuillard@orange.fr>
Date: Tue, 27 Jun 2023 00:47:27 +0200
Subject: [PATCH] Don't treat ref. fields with non-null niches as
 `dereferenceable_or_null`

---
 src/type_of.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/type_of.rs b/src/type_of.rs
index 84d5783851273..a30bce0a313cb 100644
--- a/src/type_of.rs
+++ b/src/type_of.rs
@@ -339,7 +339,8 @@ impl<'tcx> LayoutGccExt<'tcx> for TyAndLayout<'tcx> {
             return pointee;
         }
 
-        let result = Ty::ty_and_layout_pointee_info_at(*self, cx, offset);
+        let assume_valid_ptr = true;
+        let result = Ty::ty_and_layout_pointee_info_at(*self, cx, offset, assume_valid_ptr);
 
         cx.pointee_infos.borrow_mut().insert((self.ty, offset), result);
         result