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:57 -04:00 committed by Who? Me?!
parent 061a3f7da3
commit 134655eb2f
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

@ -206,7 +206,7 @@ compute its value by first computing the value of its
successors. Since SCCs form a DAG, we don't have to be concerned about successors. Since SCCs form a DAG, we don't have to be concerned 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
placeholders](./placeholders_and_universes.html). Note that the value placeholders](./placeholders_and_universes.html). Note that the value