diff options
| author | Ralf Jung <post@ralfj.de> | 2024-03-17 17:02:38 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2024-03-18 10:32:25 +0100 |
| commit | c96fa5e14345ca334073b32465e0ff3ef4b92ac5 (patch) | |
| tree | 17813962594b840b415e067392b057f6ee1ca405 /compiler/rustc_const_eval | |
| parent | a42873e85bcdcc83c3161309e0408f2147778523 (diff) | |
| download | rust-c96fa5e14345ca334073b32465e0ff3ef4b92ac5.tar.gz rust-c96fa5e14345ca334073b32465e0ff3ef4b92ac5.zip | |
add_retag: ensure box-to-raw-ptr casts are preserved for Miri
Diffstat (limited to 'compiler/rustc_const_eval')
| -rw-r--r-- | compiler/rustc_const_eval/src/transform/validate.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/rustc_const_eval/src/transform/validate.rs b/compiler/rustc_const_eval/src/transform/validate.rs index f26c8f8592d..68270dab284 100644 --- a/compiler/rustc_const_eval/src/transform/validate.rs +++ b/compiler/rustc_const_eval/src/transform/validate.rs @@ -341,7 +341,7 @@ impl<'a, 'tcx> Visitor<'tcx> for CfgChecker<'a, 'tcx> { // FIXME(JakobDegen) The validator should check that `self.mir_phase < // DropsLowered`. However, this causes ICEs with generation of drop shims, which // seem to fail to set their `MirPhase` correctly. - if matches!(kind, RetagKind::Raw | RetagKind::TwoPhase) { + if matches!(kind, RetagKind::TwoPhase) { self.fail(location, format!("explicit `{kind:?}` is forbidden")); } } @@ -1272,7 +1272,7 @@ impl<'a, 'tcx> Visitor<'tcx> for TypeChecker<'a, 'tcx> { // FIXME(JakobDegen) The validator should check that `self.mir_phase < // DropsLowered`. However, this causes ICEs with generation of drop shims, which // seem to fail to set their `MirPhase` correctly. - if matches!(kind, RetagKind::Raw | RetagKind::TwoPhase) { + if matches!(kind, RetagKind::TwoPhase) { self.fail(location, format!("explicit `{kind:?}` is forbidden")); } } |