diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:33:33 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | 11a964ab17dfc254d5397d1e16d978b618d89d67 (patch) | |
| tree | 21365fc644d6f8bd7f3d6bd32d4592a696e7eea2 /src/doc | |
| parent | 44cf84b75301f778a3cee81687c6d6bf24675e03 (diff) | |
| download | rust-11a964ab17dfc254d5397d1e16d978b618d89d67.tar.gz rust-11a964ab17dfc254d5397d1e16d978b618d89d67.zip | |
Update src/borrow_check/region_inference/constraint_propagation.md
Co-Authored-By: lqd <remy.rakic+github@gmail.com>
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/borrow_check/region_inference/constraint_propagation.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/borrow_check/region_inference/constraint_propagation.md b/src/doc/rustc-dev-guide/src/borrow_check/region_inference/constraint_propagation.md index 385e04892ae..88fb00a7daf 100644 --- a/src/doc/rustc-dev-guide/src/borrow_check/region_inference/constraint_propagation.md +++ b/src/doc/rustc-dev-guide/src/borrow_check/region_inference/constraint_propagation.md @@ -201,7 +201,7 @@ Values(S1) = ``` 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 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 |