user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Update src/borrow_check/region_inference/member_constraints.md

Browse source 
Co-Authored-By: lqd <remy.rakic+github@gmail.com>
This commit is contained in:
Niko Matsakis 2019-06-24 14:35:17 -04:00 • committed by Who? Me?!
parent 59be36693e
commit 4937aed1a7
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/doc/rustc-dev-guide/src/borrow_check/region_inference/member_constraints.md
View file

@ -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