@@ -53,6 +53,7 @@ extern crate rustc_session;
53
53
extern crate rustc_span;
54
54
extern crate rustc_target;
55
55
56
+ mod borrow_tracker;
56
57
mod clock;
57
58
mod concurrency;
58
59
mod diagnostics;
@@ -64,7 +65,6 @@ mod mono_hash_map;
64
65
mod operator;
65
66
mod range_map;
66
67
mod shims;
67
- mod stacked_borrows;
68
68
mod tag_gc;
69
69
70
70
// Establish a "crate-wide prelude": we often import `crate::*`.
@@ -84,6 +84,12 @@ pub use crate::shims::time::EvalContextExt as _;
84
84
pub use crate :: shims:: tls:: TlsData ;
85
85
pub use crate :: shims:: EvalContextExt as _;
86
86
87
+ pub use crate :: borrow_tracker:: stacked_borrows:: {
88
+ EvalContextExt as _, Item , Permission , Stack , Stacks ,
89
+ } ;
90
+ pub use crate :: borrow_tracker:: {
91
+ BorTag , BorrowTrackerMethod , CallId , EvalContextExt as _, RetagFields ,
92
+ } ;
87
93
pub use crate :: clock:: { Clock , Instant } ;
88
94
pub use crate :: concurrency:: {
89
95
data_race:: { AtomicFenceOrd , AtomicReadOrd , AtomicRwOrd , AtomicWriteOrd , EvalContextExt as _} ,
@@ -106,9 +112,6 @@ pub use crate::machine::{
106
112
pub use crate :: mono_hash_map:: MonoHashMap ;
107
113
pub use crate :: operator:: EvalContextExt as _;
108
114
pub use crate :: range_map:: RangeMap ;
109
- pub use crate :: stacked_borrows:: {
110
- CallId , EvalContextExt as _, Item , Permission , RetagFields , SbTag ,
111
- } ;
112
115
pub use crate :: tag_gc:: { EvalContextExt as _, VisitTags } ;
113
116
114
117
/// Insert rustc arguments at the beginning of the argument list that Miri wants to be
0 commit comments