mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

change redundant clear() to assertion

Browse Source
This commit is contained in:
lcnr 2023-05-23 19:00:47 +02:00
parent a0245bb3cb
commit 6b92d45342
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
compiler/rustc_infer/src/infer/undo_log.rs
View File

@ -138,11 +138,9 @@ impl<'tcx> InferCtxtInner<'tcx> {
}
if self.undo_log.num_open_snapshots == 1 {
// The root snapshot. It's safe to clear the undo log because
// there's no snapshot further out that we might need to roll back
// to.
// After the root snapshot the undo log should be empty.
assert!(snapshot.undo_len == 0);
self.undo_log.logs.clear();
assert!(self.undo_log.logs.is_empty());
}
self.undo_log.num_open_snapshots -= 1;