Move enum according to review comment

Author: carbotaniuman

src/eval.rs

@@ -68,20 +68,6 @@ pub enum BacktraceStyle {
     Off,
 }
 
-#[derive(Copy, Clone, Debug, PartialEq, Eq)]
-pub enum ProvenanceMode {
-    /// Int2ptr casts return pointers with "wildcard" provenance
-    /// that basically matches that of all exposed pointers
-    /// (and SB tags, if enabled).
-    Permissive,
-    /// Int2ptr casts return pointers with an invalid provenance,
-    /// i.e., not valid for any memory access.
-    Strict,
-    /// Int2ptr casts determine the allocation they point to at cast time.
-    /// All allocations are considered exposed.
-    Legacy,
-}
-
 /// Configuration needed to spawn a Miri instance.
 #[derive(Clone)]
 pub struct MiriConfig {

src/intptrcast.rs

@@ -9,6 +9,20 @@ use rustc_target::abi::{HasDataLayout, Size};
 
 use crate::*;
 
+#[derive(Copy, Clone, Debug, PartialEq, Eq)]
+pub enum ProvenanceMode {
+    /// Int2ptr casts return pointers with "wildcard" provenance
+    /// that basically matches that of all exposed pointers
+    /// (and SB tags, if enabled).
+    Permissive,
+    /// Int2ptr casts return pointers with an invalid provenance,
+    /// i.e., not valid for any memory access.
+    Strict,
+    /// Int2ptr casts determine the allocation they point to at cast time.
+    /// All allocations are considered exposed.
+    Legacy,
+}
+
 pub type GlobalState = RefCell<GlobalStateInner>;
 
 #[derive(Clone, Debug)]

src/lib.rs

@@ -75,10 +75,11 @@ pub use crate::diagnostics::{
     NonHaltingDiagnostic, TerminationInfo,
 };
 pub use crate::eval::{
-    create_ecx, eval_entry, AlignmentCheck, BacktraceStyle, IsolatedOp, MiriConfig, ProvenanceMode,
+    create_ecx, eval_entry, AlignmentCheck, BacktraceStyle, IsolatedOp, MiriConfig,
     RejectOpWith,
 };
 pub use crate::helpers::EvalContextExt as HelpersEvalContextExt;
+pub use crate::intptrcast::ProvenanceMode;
 pub use crate::machine::{
     AllocExtra, ConcreteTag, Evaluator, FrameData, MiriEvalContext, MiriEvalContextExt,
     MiriMemoryKind, Tag, NUM_CPUS, PAGE_SIZE, STACK_ADDR, STACK_SIZE,