Make miri value visitor useful for mutation#55916

Merged

bors merged 3 commits intorust-lang:masterfrom RalfJung:mut-visitor

Nov 19, 2018

+23-16

Commits on Nov 15, 2018

Commits on Nov 17, 2018

erase the tag on casts involving (raw) pointers
RalfJung
committed