You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
// We've rejected overlap in each product in the sum.// Now we must account for the possibility that or-pattern is a factor// in a product. A basic case to reject here is `(V1(a) | V2(a), a)`.let last_id = *prod_ids.last().unwrap();
bindings.values_mut().skip(len_before).for_each(|val| *val = last_id);
which is nice.
Maybe bindings.values_mut_range(len_before..).for_each(..) would be nicer?