about summary refs log tree commit diff
diff options
context:
space:
mode:
authorCamille GILLOT <gillot.camille@gmail.com>2023-03-08 14:39:19 +0000
committerCamille GILLOT <gillot.camille@gmail.com>2023-03-09 17:45:13 +0000
commit09dc10c9c2d7a905f3fe966b32d442f2c27128e4 (patch)
treeee06012600c280c3aa40c7944e3bc3f4be497b52
parent45f2a1af3b9a9a489e78085135e28fc432b68b8a (diff)
Bug on PlaceMention in dest-prop.
-rw-r--r--compiler/rustc_mir_transform/src/dest_prop.rs5
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/rustc_mir_transform/src/dest_prop.rs b/compiler/rustc_mir_transform/src/dest_prop.rs
index b56cf3a73be..7344ec793ea 100644
--- a/compiler/rustc_mir_transform/src/dest_prop.rs
+++ b/compiler/rustc_mir_transform/src/dest_prop.rs
@@ -581,10 +581,11 @@ impl WriteInfo {
             | StatementKind::ConstEvalCounter
             | StatementKind::Nop
             | StatementKind::Coverage(_)
-            | StatementKind::PlaceMention(_)
             | StatementKind::StorageLive(_)
             | StatementKind::StorageDead(_) => (),
-            StatementKind::FakeRead(_) | StatementKind::AscribeUserType(_, _) => {
+            StatementKind::FakeRead(_)
+            | StatementKind::AscribeUserType(_, _)
+            | StatementKind::PlaceMention(_) => {
                 bug!("{:?} not found in this MIR phase", statement)
             }
         }