diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:35:37 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | b1169deec375b473a7e50afd71f379c8a8ffe5e0 (patch) | |
| tree | 3ffa6d10f553527569766bb45e3464443206bdaa /src/doc/rustc-dev-guide | |
| parent | 4937aed1a7332cfc1095077196442ec4377ef88e (diff) | |
Update src/borrow_check/region_inference/constraint_propagation.md
Co-Authored-By: Who? Me?! <mark-i-m@users.noreply.github.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 e86d850fa61..c655df9598d 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 @@ -35,7 +35,7 @@ As a simple example, if we have a liveness constraint `R live at E`, then we can apply `Values(R) = Values(R) union {E}` to make the constraint be satisfied. Similarly, if we have an outlives constraints `R1: R2`, we can apply `Values(R1) = Values(R1) union Values(R2)`. -(Member constraints are more complex and we discuss them below.) +(Member constraints are more complex and we discuss them [in this section][m_c].) In practice, however, we are a bit more clever. Instead of applying the constraints in a loop, we can analyze the constraints and figure |