Make some types and methods related to Polonius + Miri public#134191

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

willcrichton:devwillcrichton/rust:devCopy head branch name to clipboard