Updated comment and formatting

This commit is contained in:
J.Teeuwissen 2023-05-24 14:33:11 +02:00
parent d7304f86e5
commit 3eee6097df
No known key found for this signature in database
GPG key ID: DB5F7A1ED8D478AD
2 changed files with 6 additions and 6 deletions

View file

@ -290,7 +290,7 @@ fn specialize_drops_stmt<'a, 'i>(
.min()
.unwrap();
// TODO verify this works.
// Update the existing env to match the lowest count.
*count = *consumed;
}
}
@ -321,7 +321,7 @@ fn specialize_drops_stmt<'a, 'i>(
}
let newer_branches = new_branches
.into_iter()
.iter()
.map(|(label, info, branch, branch_env)| {
let new_branch = insert_incs!(branch_env, branch);