@@ -53,6 +53,7 @@ extern crate rustc_session;
5353extern crate rustc_span;
5454extern crate rustc_target;
5555
56+ mod borrow_tracker;
5657mod clock;
5758mod concurrency;
5859mod diagnostics;
@@ -64,7 +65,6 @@ mod mono_hash_map;
6465mod operator;
6566mod range_map;
6667mod shims;
67- mod stacked_borrows;
6868mod tag_gc;
6969
7070// Establish a "crate-wide prelude": we often import `crate::*`.
@@ -84,6 +84,12 @@ pub use crate::shims::time::EvalContextExt as _;
8484pub use crate :: shims:: tls:: TlsData ;
8585pub use crate :: shims:: EvalContextExt as _;
8686
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+ } ;
8793pub use crate :: clock:: { Clock , Instant } ;
8894pub use crate :: concurrency:: {
8995 data_race:: { AtomicFenceOrd , AtomicReadOrd , AtomicRwOrd , AtomicWriteOrd , EvalContextExt as _} ,
@@ -106,9 +112,6 @@ pub use crate::machine::{
106112pub use crate :: mono_hash_map:: MonoHashMap ;
107113pub use crate :: operator:: EvalContextExt as _;
108114pub use crate :: range_map:: RangeMap ;
109- pub use crate :: stacked_borrows:: {
110- CallId , EvalContextExt as _, Item , Permission , RetagFields , SbTag ,
111- } ;
112115pub use crate :: tag_gc:: { EvalContextExt as _, VisitTags } ;
113116
114117/// Insert rustc arguments at the beginning of the argument list that Miri wants to be
0 commit comments