diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:34:15 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | 2467a1daa668a9abb3bf28cdfe354efa4c01b218 (patch) | |
| tree | c6c4d3cd6db9fcc31f51cf6b89fba5f2354f2169 /src/doc/rustc-dev-guide | |
| parent | cce253efe739974be3c516bc4d2aeacad2b3a2ae (diff) | |
| download | rust-2467a1daa668a9abb3bf28cdfe354efa4c01b218.tar.gz rust-2467a1daa668a9abb3bf28cdfe354efa4c01b218.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 19af52ec43a..06cee8ad8fe 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 @@ -213,7 +213,7 @@ placeholders](./placeholders_and_universes.html). Note that the value for S1 already contains the liveness constraints, since they were added in [`RegionInferenceContext::new`]. -Once that process is done, we now have the "minimal value" for S1, +Once that process is done, we now have the "minimal value" for `S1`, taking into account all of the liveness and outlives constraints. However, in order to complete the process, we must also consider [member constraints][m_c], which are described in [a later |