diff options
| author | Jakob Degen <jakob.e.degen@gmail.com> | 2023-04-04 23:07:10 -0700 |
|---|---|---|
| committer | Jakob Degen <jakob.e.degen@gmail.com> | 2023-04-09 18:16:05 -0700 |
| commit | d8ed2fb0bb8aecfe7622134d5aba7b670056ee6d (patch) | |
| tree | c10cddebea0da6ff86bf56c8b274176f2a7e0d2f /compiler/rustc_const_eval/src | |
| parent | 696aaad58c57a589f6fb2ecff5bae2eec581cb71 (diff) | |
| download | rust-d8ed2fb0bb8aecfe7622134d5aba7b670056ee6d.tar.gz rust-d8ed2fb0bb8aecfe7622134d5aba7b670056ee6d.zip | |
Fix transmute intrinsic mir validation ICE
Diffstat (limited to 'compiler/rustc_const_eval/src')
| -rw-r--r-- | compiler/rustc_const_eval/src/transform/validate.rs | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs index 0f56fda18f5..d4bed97380b 100644 --- a/compiler/rustc_const_eval/src/transform/validate.rs +++ b/compiler/rustc_const_eval/src/transform/validate.rs @@ -679,13 +679,21 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> { // Unlike `mem::transmute`, a MIR `Transmute` is well-formed // for any two `Sized` types, just potentially UB to run. - if !op_ty.is_sized(self.tcx, self.param_env) { + if !self + .tcx + .normalize_erasing_regions(self.param_env, op_ty) + .is_sized(self.tcx, self.param_env) + { self.fail( location, format!("Cannot transmute from non-`Sized` type {op_ty:?}"), ); } - if !target_type.is_sized(self.tcx, self.param_env) { + if !self + .tcx + .normalize_erasing_regions(self.param_env, *target_type) + .is_sized(self.tcx, self.param_env) + { self.fail( location, format!("Cannot transmute to non-`Sized` type {target_type:?}"), |