squiid/rust
1
0
Fork 0
Code Issues Pull requests Projects Activity

region_constraints: only push givens into undo-log if in a snapshot

Browse source
This commit is contained in:
Niko Matsakis 2017-11-05 18:46:37 -05:00
parent 524e23ae2e
commit a8daa37df6
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/librustc/infer/region_constraints/mod.rs
View file

@ -562,7 +562,9 @@ impl<'tcx> RegionConstraintCollector<'tcx> {
if self.data.givens.insert((sub, sup)) {
debug!("add_given({:?} <= {:?})", sub, sup);
self.undo_log.push(AddGiven(sub, sup));
if self.in_snapshot() {
self.undo_log.push(AddGiven(sub, sup));
}
}
}