diff options
| author | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-06-26 09:32:15 +0000 |
|---|---|---|
| committer | Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de> | 2023-06-26 09:34:52 +0000 |
| commit | 1c992c0b1c9b106c755d6ed4dce89ec285216486 (patch) | |
| tree | aab54fea68dac2bd5e68df3a076ef8f9fdf49552 | |
| parent | acdfec60615ffe82658f3c782ae36e6f481d4e75 (diff) | |
| download | rust-1c992c0b1c9b106c755d6ed4dce89ec285216486.tar.gz rust-1c992c0b1c9b106c755d6ed4dce89ec285216486.zip | |
Assert that we don't convert unevaluated MIR promoteds to unevaluated type constants
| -rw-r--r-- | compiler/rustc_middle/src/mir/mod.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_middle/src/mir/mod.rs b/compiler/rustc_middle/src/mir/mod.rs index 669c609d995..ad1c93c31e9 100644 --- a/compiler/rustc_middle/src/mir/mod.rs +++ b/compiler/rustc_middle/src/mir/mod.rs @@ -2581,10 +2581,9 @@ pub struct UnevaluatedConst<'tcx> { } impl<'tcx> UnevaluatedConst<'tcx> { - // FIXME: probably should get rid of this method. It's also wrong to - // shrink and then later expand a promoted. #[inline] pub fn shrink(self) -> ty::UnevaluatedConst<'tcx> { + assert_eq!(self.promoted, None); ty::UnevaluatedConst { def: self.def, substs: self.substs } } } |