Auto merge of #2070 - RalfJung:size-assert, r=RalfJung
Auto merge of #2070 - RalfJung:size-assert, r=RalfJung

add size assertions for some core types

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri