Skip to content

allocations: document that they can be read-only#159503

Open
RalfJung wants to merge 2 commits into
rust-lang:mainfrom
RalfJung:allocations
Open

allocations: document that they can be read-only#159503
RalfJung wants to merge 2 commits into
rust-lang:mainfrom
RalfJung:allocations