bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Add a mir validation check to prevent OpaqueCast after analysis passes finish

Browse source
This commit is contained in:
Oli Scherer 2023-09-27 11:35:09 +00:00
parent 2d4201f7c6
commit 0031cf7c7e
2 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_const_eval/src/transform/validate.rs
View file

@ -633,6 +633,14 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> {
location: Location,
) {
match elem {
ProjectionElem::OpaqueCast(ty)
if self.mir_phase >= MirPhase::Runtime(RuntimePhase::Initial) =>
{
self.fail(
location,
format!("explicit opaque type cast to `{ty}` after `RevealAll`"),
)
}
ProjectionElem::Index(index) => {
let index_ty = self.body.local_decls[index].ty;
if index_ty != self.tcx.types.usize {