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: Who? Me?! <mark-i-m@users.noreply.github.com>
This commit is contained in:
Niko Matsakis 2019-06-24 14:36:59 -04:00 committed by Who? Me?!
parent 986780beef
commit 0c6f78907a
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

@ -69,7 +69,7 @@ interesting to the point we are illustrating here).
The `'a: '0` and `'b: '1` constraints arise from subtyping. When we The `'a: '0` and `'b: '1` constraints arise from subtyping. When we
construct the `(a, b)` value, it will be assigned type `(&'0 u32, &'1 construct the `(a, b)` value, it will be assigned type `(&'0 u32, &'1
u32)` -- the region variables reflect that the lifetime of this u32)` -- the region variables reflect that the lifetimes of these
references could be made smaller. For this value to be created from references could be made smaller. For this value to be created from
`a` and `b`, however, we do require that: `a` and `b`, however, we do require that: