Skip to content

reword Miri validity errors: undefined -> uninitialized#71164

Merged
bors merged 3 commits intorust-lang:masterfrom RalfJung:uninit-not-undefApr 17, 2020
+126-11

Commits

Commits on Apr 15, 2020

Commits on Apr 16, 2020