Reveal opaques defined in the body during analysis#148894

beamandala wants to merge 3 commits intorust-lang:mainrust-lang/rust:mainfrom

beamandala:opaque-type-mir-validationbeamandala/rust:opaque-type-mir-validationCopy head branch name to clipboard