1
Fork 0

Bug on PlaceMention in dest-prop.

This commit is contained in:
Camille GILLOT 2023-03-08 14:39:19 +00:00
parent 45f2a1af3b
commit 09dc10c9c2

View file

@ -581,10 +581,11 @@ impl WriteInfo {
| StatementKind::ConstEvalCounter | StatementKind::ConstEvalCounter
| StatementKind::Nop | StatementKind::Nop
| StatementKind::Coverage(_) | StatementKind::Coverage(_)
| StatementKind::PlaceMention(_)
| StatementKind::StorageLive(_) | StatementKind::StorageLive(_)
| StatementKind::StorageDead(_) => (), | StatementKind::StorageDead(_) => (),
StatementKind::FakeRead(_) | StatementKind::AscribeUserType(_, _) => { StatementKind::FakeRead(_)
| StatementKind::AscribeUserType(_, _)
| StatementKind::PlaceMention(_) => {
bug!("{:?} not found in this MIR phase", statement) bug!("{:?} not found in this MIR phase", statement)
} }
} }