Skip to content

Commit

Permalink
remove implied link bound per review
Browse files Browse the repository at this point in the history
also update .stderr outputs
  • Loading branch information
MatthewPeterKelly committed Sep 27, 2022
1 parent 24aab52 commit 0d9c014
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 5 deletions.
4 changes: 1 addition & 3 deletions compiler/rustc_error_codes/src/error_codes/E0311.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,9 +26,7 @@ type parameter `T` to outlive `'anon` because of the `T: 'a bound` in
outlive `'anon` in `no_restriction()`.

If `no_restriction()` were to use `&T` instead of `&()` as an argument, the
compiler would have added an implied bound [implied
bound](https://rust-lang.github.io/rfcs/2089-implied-bounds.html), causing this
to compile.
compiler would have added an implied bound, causing this to compile.

This error can be resolved by explicitly naming the elided lifetime for `x` and
then explicily requiring that the generic parameter `T` outlives that lifetime:
Expand Down
4 changes: 2 additions & 2 deletions src/test/ui/error-codes/E0311.stderr
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@ LL | with_restriction::<T>(x)
| ^^^^^^^^^^^^^^^^^^^^^
help: consider adding an explicit lifetime bound...
|
LL | fn no_restriction<T: 'a>(x: &()) -> &() {
| ++++
LL | fn no_restriction<'a, T: 'a>(x: &()) -> &() {
| +++ ++++

error: aborting due to previous error

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -21,3 +21,4 @@ LL | fn no_restriction<'a, T: 'a>(x: &()) -> &() {

error: aborting due to previous error

For more information about this error, try `rustc --explain E0311`.

0 comments on commit 0d9c014

Please sign in to comment.