cache the initial context in inc_dec

This commit is contained in:
Folkert 2021-07-25 21:20:04 +02:00
parent f76195d05c
commit 31e1fe8870
2 changed files with 17 additions and 12 deletions

View file

@ -222,9 +222,7 @@ impl<'a> Proc<'a> {
) {
let borrow_params = arena.alloc(crate::borrow::infer_borrow(arena, procs));
for (key, proc) in procs.iter_mut() {
crate::inc_dec::visit_proc(arena, borrow_params, proc, key.1);
}
crate::inc_dec::visit_procs(arena, borrow_params, procs);
}
pub fn insert_reset_reuse_operations<'i>(
@ -430,9 +428,7 @@ impl<'a> Procs<'a> {
let borrow_params = arena.alloc(crate::borrow::infer_borrow(arena, &result));
for (key, proc) in result.iter_mut() {
crate::inc_dec::visit_proc(arena, borrow_params, proc, key.1);
}
crate::inc_dec::visit_procs(arena, borrow_params, &mut result);
result
}
@ -473,9 +469,7 @@ impl<'a> Procs<'a> {
let borrow_params = arena.alloc(crate::borrow::infer_borrow(arena, &result));
for (key, proc) in result.iter_mut() {
crate::inc_dec::visit_proc(arena, borrow_params, proc, key.1);
}
crate::inc_dec::visit_procs(arena, borrow_params, &mut result);
(result, borrow_params)
}