File tree 2 files changed +5
-4
lines changed
rustc_borrowck/src/constraints
rustc_data_structures/src/graph/scc
2 files changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -62,7 +62,8 @@ impl scc::Annotation for RegionTracker {
62
62
63
63
impl RegionTracker {
64
64
pub fn new ( rvid : RegionVid , definition : & RegionDefinition < ' _ > ) -> Self {
65
- let ( representative_is_placeholder, representative_is_existential) = match definition. origin {
65
+ let ( representative_is_placeholder, representative_is_existential) = match definition. origin
66
+ {
66
67
rustc_infer:: infer:: NllRegionVariableOrigin :: FreeRegion => ( false , false ) ,
67
68
rustc_infer:: infer:: NllRegionVariableOrigin :: Placeholder ( _) => ( true , false ) ,
68
69
rustc_infer:: infer:: NllRegionVariableOrigin :: Existential { .. } => ( false , true ) ,
@@ -71,7 +72,6 @@ impl RegionTracker {
71
72
let placeholder_universe =
72
73
if representative_is_placeholder { definition. universe } else { UniverseIndex :: ROOT } ;
73
74
74
-
75
75
Self {
76
76
max_placeholder_universe_reached : placeholder_universe,
77
77
min_reachable_universe : definition. universe ,
Original file line number Diff line number Diff line change @@ -396,7 +396,9 @@ where
396
396
loop {
397
397
debug ! ( "find_state(r = {node:?} in state {:?})" , self . node_states[ node] ) ;
398
398
match self . node_states [ node] {
399
- s @ ( NodeState :: NotVisited | NodeState :: BeingVisited { ..} | NodeState :: InCycle { .. } ) => break s,
399
+ s @ ( NodeState :: NotVisited
400
+ | NodeState :: BeingVisited { .. }
401
+ | NodeState :: InCycle { .. } ) => break s,
400
402
NodeState :: InCycleWith { parent } => {
401
403
// We test this, to be extremely sure that we never
402
404
// ever break our termination condition for the
@@ -409,7 +411,6 @@ where
409
411
previous_node = node;
410
412
node = parent;
411
413
}
412
-
413
414
}
414
415
}
415
416
} ;
You can’t perform that action at this time.
0 commit comments