From e901b2ff8e98c2edd3ca9ba0bf2fff18e9f3df14 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sat, 4 Apr 2020 15:55:32 +0200
Subject: [PATCH] Miri: remove an outdated FIXME

---
 src/librustc_mir/interpret/terminator.rs | 1 -
 1 file changed, 1 deletion(-)

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 @@ pub(super) fn eval_terminator(
             }
 
             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);