diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-24 14:36:59 -0400 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-06-26 11:05:58 -0500 |
| commit | 6bcafb7bfac5d4f5f23e254d77fe01b576a05f26 (patch) | |
| tree | d84c8cf72b41584be5208799d27f837c52df2cdc /src/doc/rustc-dev-guide | |
| parent | ed00d21c888855887982b42de893962fb867f574 (diff) | |
| download | rust-6bcafb7bfac5d4f5f23e254d77fe01b576a05f26.tar.gz rust-6bcafb7bfac5d4f5f23e254d77fe01b576a05f26.zip | |
Update src/borrow_check/region_inference/member_constraints.md
Co-Authored-By: Who? Me?! <mark-i-m@users.noreply.github.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 48b24d2152b..3f934e8642d 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 @@ -69,7 +69,7 @@ interesting to the point we are illustrating here). 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 -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 `a` and `b`, however, we do require that: |