Skip to content

Miri: Check that a ptr is aligned and inbounds already when evaluating *#63075

Merged
bors merged 7 commits intorust-lang:masterfrom
RalfJung:deref-checks
Aug 15, 2019