diff options
| author | Camille GILLOT <gillot.camille@gmail.com> | 2023-03-08 14:39:19 +0000 |
|---|---|---|
| committer | Camille GILLOT <gillot.camille@gmail.com> | 2023-03-09 17:45:13 +0000 |
| commit | 09dc10c9c2d7a905f3fe966b32d442f2c27128e4 (patch) | |
| tree | ee06012600c280c3aa40c7944e3bc3f4be497b52 | |
| parent | 45f2a1af3b9a9a489e78085135e28fc432b68b8a (diff) | |
Bug on PlaceMention in dest-prop.
| -rw-r--r-- | compiler/rustc_mir_transform/src/dest_prop.rs | 5 |
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) } } |
