mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update src/borrow_check/region_inference/constraint_propagation.md 

Co-Authored-By: lqd <remy.rakic+github@gmail.com>
This commit is contained in:
Niko Matsakis 2019-06-24 14:33:41 -04:00 committed by Who? Me?!
parent 013eb136c6
commit ecfbacb3de
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/borrow_check/region_inference/constraint_propagation.md
View File

@ -205,7 +205,7 @@ function, which iterates over all the SCCs. For each SCC `S1`, we
compute its value by first computing the value of its compute its value by first computing the value of its
successors. Since SCCs form a DAG, we don't have to be conecrned about successors. Since SCCs form a DAG, we don't have to be conecrned about
cycles, though we do need to keep a set around to track whether we cycles, though we do need to keep a set around to track whether we
have already processed a given SCC or not. For each successor S2, once have already processed a given SCC or not. For each successor `S2`, once
we have computed S2's value, we can union those elements into the we have computed S2's value, we can union those elements into the
value for S1. (Although we have to be careful in this process to value for S1. (Although we have to be careful in this process to
properly handle [higher-ranked properly handle [higher-ranked