future_move: simplify index_map extension

This commit is contained in:
2025-04-03 14:16:11 -04:00
parent eab35de50a
commit 18213278fd

View File

@@ -542,12 +542,10 @@ impl FutureMoves {
.filter(|&((_, keep), _)| keep) // filter out un-related nodes
.map(|((old_idx, _), node)| (old_idx, node))
.enumerate() // new_idx
.map(|(new_idx, (old_idx, node))| ((new_idx, old_idx), node))
.map(|(new_idx, (old_idx, node))| ((old_idx, new_idx), node))
.unzip();
for (new_idx, old_idx) in indexes {
index_map.insert(old_idx, new_idx);
}
index_map.extend(indexes);
self.arena = moves
.into_iter()