diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:35:17 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | 4937aed1a7332cfc1095077196442ec4377ef88e (patch) | |
| tree | bda8802977d08c7bc835af25e7da5da69e412f9b /src/doc/rustc-dev-guide | |
| parent | 59be36693e4f5d350dae08e162f25b054a0ff81e (diff) | |
| download | rust-4937aed1a7332cfc1095077196442ec4377ef88e.tar.gz rust-4937aed1a7332cfc1095077196442ec4377ef88e.zip | |
Update src/borrow_check/region_inference/member_constraints.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/member_constraints.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/borrow_check/region_inference/member_constraints.md b/src/doc/rustc-dev-guide/src/borrow_check/region_inference/member_constraints.md index 1d5fb101344..219296d0ddf 100644 --- a/src/doc/rustc-dev-guide/src/borrow_check/region_inference/member_constraints.md +++ b/src/doc/rustc-dev-guide/src/borrow_check/region_inference/member_constraints.md @@ -124,7 +124,7 @@ bounds considering everything but member constraints). Let `LB` be the current value of `'0`. We know then that `'0: LB` must hold, whatever the final value of `'0` is. Therefore, we can rule out -any choice where `'choice` where `'choice: LB` does not hold. +any choice `'choice` where `'choice: LB` does not hold. Unfortunately, in our example, this is not very helpful. The lower bound for `'0` will just be the liveness set `{L}`, and we know that |