Clean up and streamline snapshot data structures - #55906

Merged

bors merged 8 commits into

rust-lang:masterfrom

nnethercote:rm-OpenSnapshot-CommittedSnapshot

Nov 25, 2018

Commits on Nov 25, 2018

Update to `ena` 0.11.0.
nnethercote
committed
1e34dfc
Remove `insert_noop`.
nnethercote
committed
9847b5c
Rename `UndoLogEntry` as `UndoLog`.
nnethercote
committed
c86bbd4
Replace a `.truncate(0)` call with `.clear()`.
nnethercote
committed
7fe09a6
Make `commit` and `rollback_to` methods take ownership of the snapshots.
nnethercote
committed
f5624e4
Introduce `in_snapshot` and `assert_open_snapshot` methods.
nnethercote
committed
f23c969
Remove `OpenSnapshot` and `CommittedSnapshot` markers from `SnapshotMap`.
nnethercote
committed
2d68fa0
Remove `OpenSnapshot` and `CommittedSnapshot` markers from `RegionConstraintCollector`.
nnethercote
committed
94967ae