From 582d52f0bdead9f40600d468bbe8c3be7842248a Mon Sep 17 00:00:00 2001
From: Oliver Scherer <github35764891676564198441@oli-obk.de>
Date: Thu, 16 Apr 2020 17:32:48 +0200
Subject: [PATCH] Separate miri/ctfe unsupported operations

---
 src/librustc_middle/mir/interpret/error.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/librustc_middle/mir/interpret/error.rs b/src/librustc_middle/mir/interpret/error.rs
index e6557c9fbd5..084b5fce385 100644
--- a/src/librustc_middle/mir/interpret/error.rs
+++ b/src/librustc_middle/mir/interpret/error.rs
@@ -451,6 +451,8 @@ pub enum UnsupportedOpInfo {
     NoMirFor(DefId),
     /// Encountered a pointer where we needed raw bytes.
     ReadPointerAsBytes,
+
+    // The variants below are only reachable from CTFE/const prop, miri will never emit them.
     /// Encountered raw bytes where we needed a pointer.
     ReadBytesAsPointer,
 }