Skip to content

Commit 1984e20

Browse files
committed
Don't treat ref. fields with non-null niches as dereferenceable_or_null
1 parent f2dded2 commit 1984e20

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/type_of.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -339,7 +339,8 @@ impl<'tcx> LayoutGccExt<'tcx> for TyAndLayout<'tcx> {
339339
return pointee;
340340
}
341341

342-
let result = Ty::ty_and_layout_pointee_info_at(*self, cx, offset);
342+
let assume_valid_ptr = true;
343+
let result = Ty::ty_and_layout_pointee_info_at(*self, cx, offset, assume_valid_ptr);
343344

344345
cx.pointee_infos.borrow_mut().insert((self.ty, offset), result);
345346
result

0 commit comments

Comments
 (0)