Code

miri: avoid cloning AllocExtra#131593

Code

Merged

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom RalfJung:alloc-no-cloneRalfJung/rust:alloc-no-cloneCopy head branch name to clipboardOct 14, 2024

+31-18

Commits

Commits on Oct 12, 2024

• miri: avoid cloning AllocExtra

  RalfJung

  committed
  bc4366b

  Copy full SHA for bc4366b