Miri casts: do not blindly rely on dest type#72525

Merged

bors merged 5 commits intorust-lang:masterfrom RalfJung:miri-cast-checks

May 25, 2020

Commits on May 23, 2020

make some cast helpers infallible
RalfJung
committed