Guarantee soundness of pointer-to-int transmutes#1752

joshlf wants to merge 1 commit intorust-lang:masterrust-lang/reference:masterfrom

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