diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:34:05 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | cce253efe739974be3c516bc4d2aeacad2b3a2ae (patch) | |
| tree | 86699adc4da7dd602b677fbce697cdf1ef8eaf61 /src/doc/rustc-dev-guide | |
| parent | 52e3d294239167354d9f2e1e7974485f44b2e77b (diff) | |
| download | rust-cce253efe739974be3c516bc4d2aeacad2b3a2ae.tar.gz rust-cce253efe739974be3c516bc4d2aeacad2b3a2ae.zip | |
Update src/borrow_check/region_inference/constraint_propagation.md
Co-Authored-By: lqd <remy.rakic+github@gmail.com>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -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 3ec374b6688..19af52ec43a 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 @@ -207,7 +207,7 @@ 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 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 -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 placeholders](./placeholders_and_universes.html). Note that the value for S1 already contains the liveness constraints, since they were |