diff --git a/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs b/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs index 9edf7103f3990..64ba106b68adc 100644 --- a/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs +++ b/compiler/rustc_borrowck/src/polonius/legacy/loan_invalidations.rs @@ -70,7 +70,9 @@ impl<'a, 'tcx> Visitor<'tcx> for LoanInvalidationsGenerator<'a, 'tcx> { // Doesn't have any language semantics | StatementKind::Coverage(..) // Does not actually affect borrowck - | StatementKind::StorageLive(..) => {} + | StatementKind::StorageLive(..) + // Does not affect borrowck + | StatementKind::BackwardIncompatibleDropHint { .. } => {} StatementKind::StorageDead(local) => { self.access_place( location, @@ -81,7 +83,6 @@ impl<'a, 'tcx> Visitor<'tcx> for LoanInvalidationsGenerator<'a, 'tcx> { } StatementKind::ConstEvalCounter | StatementKind::Nop - | StatementKind::BackwardIncompatibleDropHint { .. } | StatementKind::SetDiscriminant { .. } => { bug!("Statement not allowed in this MIR phase") } diff --git a/tests/crashes/157568.rs b/tests/ui/nll/polonius/allow-backward-incompatible-drop-hint.rs similarity index 85% rename from tests/crashes/157568.rs rename to tests/ui/nll/polonius/allow-backward-incompatible-drop-hint.rs index 627bfbadf6bc4..b2a9f648809ff 100644 --- a/tests/crashes/157568.rs +++ b/tests/ui/nll/polonius/allow-backward-incompatible-drop-hint.rs @@ -1,5 +1,7 @@ -//@ known-bug: #157568 +// Test for issue #157568 //@ compile-flags: -Zpolonius +//@ check-pass + #![warn(rust_2024_compatibility)] pub struct F; impl std::fmt::Debug for F { @@ -7,4 +9,5 @@ impl std::fmt::Debug for F { f.debug_struct("F").finish_non_exhaustive() } } + fn main() {}