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 ddf257ac37
commit 45fc567eb8
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: