diff options
| author | Jakob Degen <jakob.e.degen@gmail.com> | 2022-12-21 11:46:13 -0800 |
|---|---|---|
| committer | Jakob Degen <jakob.e.degen@gmail.com> | 2022-12-21 11:46:13 -0800 |
| commit | 7c4c62047504aff1e17d4b2686116fb4de04797c (patch) | |
| tree | ece20baf5c8ec36ee7f0c26bbdeb4f94d5001d39 /compiler/rustc_const_eval | |
| parent | cb2c7bb833f439c224457442c83c3dfcba1709d6 (diff) | |
| download | rust-7c4c62047504aff1e17d4b2686116fb4de04797c.tar.gz rust-7c4c62047504aff1e17d4b2686116fb4de04797c.zip | |
Forbid `RetagKind::TwoPhase` as well
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 eb247a4cebe..94e1b95a0eb 100644 --- a/compiler/rustc_const_eval/src/transform/validate.rs +++ b/compiler/rustc_const_eval/src/transform/validate.rs @@ -671,8 +671,8 @@ 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 *kind == RetagKind::Raw { - self.fail(location, "explicit `RetagKind::Raw` is forbidden"); + if *kind == RetagKind::Raw || *kind == RetagKind::TwoPhase { + self.fail(location, format!("explicit `{:?}` is forbidden", kind)); } } StatementKind::StorageLive(..) |