bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Normalize all projections in mir validation again

Browse source
This commit is contained in:
Oli Scherer 2022-02-10 17:53:35 +00:00
parent 1c5bfb1770
commit 4cfaf9a931
2 changed files with 35 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -169,8 +169,13 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> {
// Equal types, all is good.
return true;
}
// Normalization reveals opaque types, but we may be validating MIR while computing
// said opaque types, causing cycles.
if (src, dest).has_opaque_types() {
return true;
}
// Normalize projections and things like that.
let param_env = self.param_env;
let param_env = self.param_env.with_reveal_all_normalized(self.tcx);
let src = self.tcx.normalize_erasing_regions(param_env, src);
let dest = self.tcx.normalize_erasing_regions(param_env, dest);