File tree Expand file tree Collapse file tree 2 files changed +5
-4
lines changed
rustc_borrowck/src/constraints
rustc_data_structures/src/graph/scc Expand file tree Collapse file tree 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 {
6262
6363impl RegionTracker {
6464 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+ {
6667 rustc_infer:: infer:: NllRegionVariableOrigin :: FreeRegion => ( false , false ) ,
6768 rustc_infer:: infer:: NllRegionVariableOrigin :: Placeholder ( _) => ( true , false ) ,
6869 rustc_infer:: infer:: NllRegionVariableOrigin :: Existential { .. } => ( false , true ) ,
@@ -71,7 +72,6 @@ impl RegionTracker {
7172 let placeholder_universe =
7273 if representative_is_placeholder { definition. universe } else { UniverseIndex :: ROOT } ;
7374
74-
7575 Self {
7676 max_placeholder_universe_reached : placeholder_universe,
7777 min_reachable_universe : definition. universe ,
Original file line number Diff line number Diff line change @@ -396,7 +396,9 @@ where
396396 loop {
397397 debug ! ( "find_state(r = {node:?} in state {:?})" , self . node_states[ node] ) ;
398398 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,
400402 NodeState :: InCycleWith { parent } => {
401403 // We test this, to be extremely sure that we never
402404 // ever break our termination condition for the
@@ -409,7 +411,6 @@ where
409411 previous_node = node;
410412 node = parent;
411413 }
412-
413414 }
414415 }
415416 } ;
You can’t perform that action at this time.
0 commit comments