Skip to content

read_via_copy: don't prematurely optimize away the read#115531

Merged
bors merged 1 commit intorust-lang:masterfrom
RalfJung:read_via_copy
Sep 5, 2023

Commits

Commits on Sep 4, 2023