diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-04-16 17:32:48 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2020-04-30 17:06:11 +0200 |
| commit | 582d52f0bdead9f40600d468bbe8c3be7842248a (patch) | |
| tree | e96fdfe4888adc8f66c9a5050ce61b9c5cb15c4d /src | |
| parent | bf459752d41a93eb6df0e9513de4ef807883a80c (diff) | |
| download | rust-582d52f0bdead9f40600d468bbe8c3be7842248a.tar.gz rust-582d52f0bdead9f40600d468bbe8c3be7842248a.zip | |
Separate miri/ctfe unsupported operations
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_middle/mir/interpret/error.rs | 2 |
1 files changed, 2 insertions, 0 deletions
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, } |