diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-02-17 14:16:45 +0100 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2020-02-18 13:07:49 +0100 |
| commit | 73283f1b32f2c607be6ba5d51d867f8862eca95e (patch) | |
| tree | 9296ca22cd24ceeb77da174c06260b7183f418bf /src/librustc_error_codes/error_codes | |
| parent | dbef35309d10bed2f09cd55b3e9ea980a58c62aa (diff) | |
| download | rust-73283f1b32f2c607be6ba5d51d867f8862eca95e.tar.gz rust-73283f1b32f2c607be6ba5d51d867f8862eca95e.zip | |
Clean up E0310 explanation
Diffstat (limited to 'src/librustc_error_codes/error_codes')
| -rw-r--r-- | src/librustc_error_codes/error_codes/E0310.md | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/src/librustc_error_codes/error_codes/E0310.md b/src/librustc_error_codes/error_codes/E0310.md index be87ccb114a..8d4311d018b 100644 --- a/src/librustc_error_codes/error_codes/E0310.md +++ b/src/librustc_error_codes/error_codes/E0310.md @@ -1,7 +1,7 @@ -Types in type definitions have lifetimes associated with them that represent -how long the data stored within them is guaranteed to be live. This lifetime -must be as long as the data needs to be alive, and missing the constraint that -denotes this will cause this error. +A parameter type is missing a lifetime constraint or has a lifetime that +does not live long enough. + +Erroneous code example: ```compile_fail,E0310 // This won't compile because T is not constrained to the static lifetime @@ -11,6 +11,11 @@ struct Foo<T> { } ``` +Type parameters in type definitions have lifetimes associated with them that +represent how long the data stored within them is guaranteed to live. This +lifetime must be as long as the data needs to be alive, and missing the +constraint that denotes this will cause this error. + This will compile, because it has the constraint on the type parameter: ``` |
