Unnamed repository; edit this file 'description' to name the repository.
Rollup merge of #112236 - cjgillot:interval-kill, r=davidtwco
Simplify computation of killed borrows
Follow-up to https://github.com/rust-lang/rust/pull/111759
Processing the first block manually once makes the pre-order walk simpler.
