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

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

rust-bors[bot] merged 2 commits into

rust-lang:mainrust-lang/rust:mainfrom

RalfJung:allocationsRalfJung/rust:allocationsCopy head branch name to clipboard