language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

add comment and assert back

Browse source
This commit is contained in:
Folkert 2022-03-05 23:49:21 +01:00
parent 6906d64ec3
commit 4806dc378f
No known key found for this signature in database
GPG key ID: 1F17F6FFD112B97C
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
compiler/solve/src/solve.rs
View file

@ -1504,6 +1504,7 @@ fn generalize(
}
}
/// Sort the variables into buckets by rank.
fn pool_to_rank_table(
subs: &mut Subs,
young_mark: Mark,
@ -1513,11 +1514,14 @@ fn pool_to_rank_table(
let mut pools = Pools::new(young_rank.into_usize() + 1);
// the vast majority of young variables have young_rank
// using `retain` here prevents many `pools.get_mut(young_rank)` lookups
let mut young_vars = young_vars.to_vec();
young_vars.retain(|var| {
let rank = subs.get_rank_set_mark(*var, young_mark);
if rank != young_rank {
debug_assert!(rank.into_usize() < young_rank.into_usize() + 1);
pools.get_mut(rank).push(*var);
false
} else {