Guarantee that raw pointer conversions preserve slice element count#1417

ehuss merged 7 commits into

rust-lang:masterrust-lang/reference:masterfrom

joshlf:patch-3joshlf/reference:patch-3Copy head branch name to clipboard