Skip to content

Commit 60b4fdc

Browse files
committed
uncomment drop access kind panic
1 parent f1a2104 commit 60b4fdc

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs

+4-4
Original file line numberDiff line numberDiff line change
@@ -2369,10 +2369,10 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
23692369
ProjectionElem::Deref => match kind {
23702370
StorageDeadOrDrop::LocalStorageDead
23712371
| StorageDeadOrDrop::BoxedStorageDead => {
2372-
// assert!(
2373-
// place_ty.ty.is_box(),
2374-
// "Drop of value behind a reference or raw pointer"
2375-
// );
2372+
assert!(
2373+
place_ty.ty.is_box(),
2374+
"Drop of value behind a reference or raw pointer"
2375+
);
23762376
StorageDeadOrDrop::BoxedStorageDead
23772377
}
23782378
StorageDeadOrDrop::Destructor(_) => kind,

0 commit comments

Comments
 (0)