diff options
| author | bors <bors@rust-lang.org> | 2024-11-20 18:51:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-11-20 18:51:54 +0000 |
| commit | 3fee0f12e4f595948f8f54f57c8b7a7a58127124 (patch) | |
| tree | 16a282355e2224233cf1d36c193070fe6bba6c40 /compiler/rustc_const_eval/src/interpret/step.rs | |
| parent | a1f299953656f95004c69b24ad8071d6899fa9da (diff) | |
| parent | 297b618944d4619a1990b1992d9142c6cf893dc6 (diff) | |
| download | rust-3fee0f12e4f595948f8f54f57c8b7a7a58127124.tar.gz rust-3fee0f12e4f595948f8f54f57c8b7a7a58127124.zip | |
Auto merge of #131326 - dingxiangfei2009:issue-130836-attempt-2, r=nikomatsakis
Reduce false positives of tail-expr-drop-order from consumed values (attempt #2) r? `@nikomatsakis` Tracked by #123739. Related to #129864 but not replacing, yet. Related to #130836. This is an implementation of the approach suggested in the [Zulip stream](https://rust-lang.zulipchat.com/#narrow/stream/213817-t-lang/topic/temporary.20drop.20order.20changes). A new MIR statement `BackwardsIncompatibleDrop` is added to the MIR syntax. The lint now works by inspecting possibly live move paths before at the `BackwardsIncompatibleDrop` location and the actual drop under the current edition, which should be one before Edition 2024 in practice.
Diffstat (limited to 'compiler/rustc_const_eval/src/interpret/step.rs')
| -rw-r--r-- | compiler/rustc_const_eval/src/interpret/step.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/compiler/rustc_const_eval/src/interpret/step.rs b/compiler/rustc_const_eval/src/interpret/step.rs index 98aca37e73e..b61865be667 100644 --- a/compiler/rustc_const_eval/src/interpret/step.rs +++ b/compiler/rustc_const_eval/src/interpret/step.rs @@ -143,6 +143,9 @@ impl<'tcx, M: Machine<'tcx>> InterpCx<'tcx, M> { // Defined to do nothing. These are added by optimization passes, to avoid changing the // size of MIR constantly. Nop => {} + + // Only used for temporary lifetime lints + BackwardIncompatibleDropHint { .. } => {} } interp_ok(()) |