mirror of
https://github.com/rust-lang/rust.git
synced 2025-11-01 13:34:38 +00:00
This largely avoids remapping from and to the 'real' indices, with the exception of predecessor lookup and the final merge back, and is conceptually better.