Rollup merge of #112236 - cjgillot:interval-kill, r=davidtwco

Simplify computation of killed borrows

Follow-up to rust-lang/rust#111759

Processing the first block manually once makes the pre-order walk simpler.