diff options
| author | Manish Goregaokar <manishsmail@gmail.com> | 2016-01-04 09:31:29 +0530 |
|---|---|---|
| committer | Manish Goregaokar <manishsmail@gmail.com> | 2016-01-04 09:34:32 +0530 |
| commit | 5a14f3791db8b87a5e292a72dc1086cb0e72e93b (patch) | |
| tree | eb3561999b7873af29c303ba3ff427604c993f46 | |
| parent | 4744472fe03cceb81747ac9c7c64ae5fe6340c0b (diff) | |
| download | rust-5a14f3791db8b87a5e292a72dc1086cb0e72e93b.tar.gz rust-5a14f3791db8b87a5e292a72dc1086cb0e72e93b.zip | |
Improve syntax-index entry for lifetime bounds
| -rw-r--r-- | src/doc/book/syntax-index.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/doc/book/syntax-index.md b/src/doc/book/syntax-index.md index f7e32943c63..8116247c766 100644 --- a/src/doc/book/syntax-index.md +++ b/src/doc/book/syntax-index.md @@ -132,7 +132,8 @@ <!-- Constraints --> * `T: U`: generic parameter `T` constrained to types that implement `U`. See [Traits]. -* `T: 'a`: generic type `T` must outlive lifetime `'a`. +* `T: 'a`: generic type `T` must outlive lifetime `'a`. When we say that a type 'outlives' the lifetime, we mean that it cannot transitively contain any references with lifetimes shorter than `'a`. +* `T : 'static`: The generic type `T` contains no borrowed references other than `'static` ones. * `'b: 'a`: generic lifetime `'b` must outlive lifetime `'a`. * `T: ?Sized`: allow generic type parameter to be a dynamically-sized type. See [Unsized Types (`?Sized`)]. * `'a + trait`, `trait + trait`: compound type constraint. See [Traits (Multiple Trait Bounds)]. |