mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Update src/borrow_check/region_inference/member_constraints.md 

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 8c78b7dd81
commit 16e49002c7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
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