Don't treat ref. fields with non-null niches as `dereferenceable_or_n…

…ull`
antoyo · Jul 21, 2023 · 1984e20 · 1984e20
1 parent f2dded2
commit 1984e20
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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