1
1
mod cache;
2
- pub ( crate ) mod overflow;
2
+ mod overflow;
3
3
4
4
use self :: cache:: ProvisionalEntry ;
5
5
use super :: { CanonicalGoal , Certainty , MaybeCause , QueryResult } ;
6
- use crate :: solve:: search_graph:: overflow:: OverflowHandler ;
6
+ pub ( super ) use crate :: solve:: search_graph:: overflow:: OverflowHandler ;
7
7
use cache:: ProvisionalCache ;
8
8
use overflow:: OverflowData ;
9
9
use rustc_index:: vec:: IndexVec ;
@@ -14,12 +14,12 @@ rustc_index::newtype_index! {
14
14
pub struct StackDepth { }
15
15
}
16
16
17
- pub ( crate ) struct StackElem < ' tcx > {
17
+ struct StackElem < ' tcx > {
18
18
goal : CanonicalGoal < ' tcx > ,
19
19
has_been_used : bool ,
20
20
}
21
21
22
- pub ( crate ) struct SearchGraph < ' tcx > {
22
+ pub ( super ) struct SearchGraph < ' tcx > {
23
23
/// The stack of goals currently being computed.
24
24
///
25
25
/// An element is *deeper* in the stack if its index is *lower*.
@@ -47,7 +47,7 @@ impl<'tcx> SearchGraph<'tcx> {
47
47
///
48
48
/// This correctly updates the provisional cache if there is a cycle.
49
49
#[ instrument( level = "debug" , skip( self , tcx) , ret) ]
50
- pub ( super ) fn try_push_stack (
50
+ fn try_push_stack (
51
51
& mut self ,
52
52
tcx : TyCtxt < ' tcx > ,
53
53
goal : CanonicalGoal < ' tcx > ,
@@ -122,7 +122,7 @@ impl<'tcx> SearchGraph<'tcx> {
122
122
///
123
123
/// FIXME: Refer to the rustc-dev-guide entry once it exists.
124
124
#[ instrument( level = "debug" , skip( self , tcx, actual_goal) , ret) ]
125
- pub ( super ) fn try_finalize_goal (
125
+ fn try_finalize_goal (
126
126
& mut self ,
127
127
tcx : TyCtxt < ' tcx > ,
128
128
actual_goal : CanonicalGoal < ' tcx > ,
@@ -163,7 +163,7 @@ impl<'tcx> SearchGraph<'tcx> {
163
163
}
164
164
}
165
165
166
- pub ( super ) fn try_move_finished_goal_to_global_cache (
166
+ fn try_move_finished_goal_to_global_cache (
167
167
& mut self ,
168
168
tcx : TyCtxt < ' tcx > ,
169
169
stack_elem : StackElem < ' tcx > ,
0 commit comments