Update src/borrow_check/region_inference/member_constraints.md
Co-Authored-By: lqd <remy.rakic+github@gmail.com>
This commit is contained in:
parent
fcdf8c16e8
commit
c99ce7a476
|
|
@ -11,7 +11,7 @@ fn make(a: &'a u32, b: &'b u32) -> impl Trait<'a, 'b> { .. }
|
|||
```
|
||||
|
||||
Here, the true return type (often called the "hidden type") is only
|
||||
permitted to capture the lifeimes `'a` or `'b`. You can kind of see
|
||||
permitted to capture the lifetimes `'a` or `'b`. You can kind of see
|
||||
this more clearly by desugaring that `impl Trait` return type into its
|
||||
more explicit form:
|
||||
|
||||
|
|
|
|||
Loading…
Reference in New Issue