Rollup merge of #133796 - TDecking:borrowing-sub, r=tgross35 · rust-lang/miri@ea306d6 · GitHub

Commit

Rollup merge of #133796 - TDecking:borrowing-sub, r=tgross35

Browse files

Update the definition of `borrowing_sub`

Complementary PR to rust-lang/rust#133674, which only updated `carrying_add`.

Loading branch information

matthiaskrgr authored Dec 3, 2024

2 parents f307903 + 464383f commit ea306d6