Rollup merge of #70769 - RalfJung:fixed, r=Dylan-DPC

Miri: remove an outdated FIXME

We even [have a test ](49dc2f9f09/src/test/ui/consts/miri_unleashed/drop.rs) making sure that we detect dropping with a non-const implementation.

r? @oli-obk
This commit is contained in:
Dylan DPC 2020-04-05 13:13:11 +02:00 committed by GitHub
commit 2448a23554
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -75,7 +75,6 @@ pub(super) fn eval_terminator(
} }
Drop { location, target, unwind } => { Drop { location, target, unwind } => {
// FIXME(CTFE): forbid drop in const eval
let place = self.eval_place(location)?; let place = self.eval_place(location)?;
let ty = place.layout.ty; let ty = place.layout.ty;
trace!("TerminatorKind::drop: {:?}, type {}", location, ty); trace!("TerminatorKind::drop: {:?}, type {}", location, ty);