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:33 -04:00 committed by Who? Me?!
parent 826adc0340
commit 013eb136c6
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

@ -201,7 +201,7 @@ Values(S1) =
``` ```
In the code, this work starts in the [`propagate_constraints`] In the code, this work starts in the [`propagate_constraints`]
function, which iterates over all the SCCs. For each SCC S1, we 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