Clean up E0263 explanation

This commit is contained in:
Guillaume Gomez 2020-02-02 15:28:18 +01:00 committed by GitHub
parent 320ada6479
commit 019ca55b45
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,16 @@
A lifetime name cannot be declared more than once in the same scope. For
example:
A lifetime was declared more than once in the same scope.
Erroneous code example:
```compile_fail,E0263
// error, lifetime name `'a` declared twice in the same scope
fn foo<'a, 'b, 'a>(x: &'a str, y: &'b str) { }
fn foo<'a, 'b, 'a>(x: &'a str, y: &'b str, z: &'a str) { // error!
}
```
Two lifetimes cannot have the same name. To fix this example, change
the second `'a` lifetime into something else (`'c` for example):
```
fn foo<'a, 'b, 'c>(x: &'a str, y: &'b str, z: &'c str) { // ok!
}
```