miri enum discriminant handling: Fix treatment of pointers, better error when it is undef#55894

Merged

bors merged 3 commits intorust-lang:masterfrom

RalfJung:validation-enums

Nov 19, 2018

Commits on Nov 15, 2018