diff options
| author | Ralf Jung <post@ralfj.de> | 2020-04-04 15:55:32 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2020-04-04 15:55:32 +0200 |
| commit | e901b2ff8e98c2edd3ca9ba0bf2fff18e9f3df14 (patch) | |
| tree | 1ee262aec69ea138457d1fbfb9678f3bcd693c5d | |
| parent | 49dc2f9f091748beb1a8a9d5b3eb3bbe7362c3bd (diff) | |
| download | rust-e901b2ff8e98c2edd3ca9ba0bf2fff18e9f3df14.tar.gz rust-e901b2ff8e98c2edd3ca9ba0bf2fff18e9f3df14.zip | |
Miri: remove an outdated FIXME
| -rw-r--r-- | src/librustc_mir/interpret/terminator.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustc_mir/interpret/terminator.rs b/src/librustc_mir/interpret/terminator.rs index 8ad743d2b8b..6ebe5b80370 100644 --- a/src/librustc_mir/interpret/terminator.rs +++ b/src/librustc_mir/interpret/terminator.rs @@ -75,7 +75,6 @@ impl<'mir, 'tcx, M: Machine<'mir, 'tcx>> InterpCx<'mir, 'tcx, M> { } Drop { location, target, unwind } => { - // FIXME(CTFE): forbid drop in const eval let place = self.eval_place(location)?; let ty = place.layout.ty; trace!("TerminatorKind::drop: {:?}, type {}", location, ty); |