pub fn vars_created_since_snapshot(&self, mark: &RegionSnapshot)
-> Vec<RegionVid>
{
- self.undo_log.borrow()
- .slice_from(mark.length)
+ self.undo_log.borrow()[mark.length..]
.iter()
.filter_map(|&elt| match elt {
AddVar(vid) => Some(vid),
debug!("result_index={}, r={:?}", result_index, r);
for undo_entry in
- self.undo_log.borrow().slice_from(mark.length).iter()
+ self.undo_log.borrow()[mark.length..].iter()
{
match undo_entry {
&AddConstraint(ConstrainVarSubVar(a, b)) => {