Code

Improve soundness of rustc_arena#97711

Code

Merged

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom Noratrieb:rustc-arena-ubNoratrieb/rust:rustc-arena-ubCopy head branch name to clipboardJul 7, 2022

+39-12

Commits

Commits on Jun 3, 2022

• Adapt tests to be able to run in miri

  Show description for 907ea55
  Noratrieb

  committed
  907ea55

  Copy full SHA for 907ea55

Commits on Jul 6, 2022

• Fix stacked borrows violation in rustc_arena

  Show description for 211fb66
  Noratrieb

  committed
  211fb66

  Copy full SHA for 211fb66