Miri rename undef uninit#74664

Merged

bors merged 2 commits intorust-lang:masterfrom

pnadon:Miri-rename-undef-uninit

Jul 26, 2020

Commits on Jul 23, 2020

renamed ScalarMaybeUninit::not_undef to check_init
pnadon
committed

Commits on Jul 25, 2020

Miri: rename "undef" to "uninit"
pnadon
committed