| error[E0309]: the parameter type `T` may not live long enough |
| --> $DIR/wf-in-associated-type.rs:36:23 |
| | |
| LL | impl<'a, T> Trait<'a, T> for () { |
| | -- the parameter type `T` must be valid for the lifetime `'a` as defined here... |
| LL | type Opaque = impl Sized + 'a; |
| | ^^^^^^^^^^^^^^^ ...so that the type `&'a T` will meet its required lifetime bounds |
| | |
| help: consider adding an explicit lifetime bound |
| | |
| LL | impl<'a, T: 'a> Trait<'a, T> for () { |
| | ++++ |
| |
| error[E0309]: the parameter type `T` may not live long enough |
| --> $DIR/wf-in-associated-type.rs:36:23 |
| | |
| LL | impl<'a, T> Trait<'a, T> for () { |
| | -- the parameter type `T` must be valid for the lifetime `'a` as defined here... |
| LL | type Opaque = impl Sized + 'a; |
| | ^^^^^^^^^^^^^^^ ...so that the reference type `&'a T` does not outlive the data it points at |
| | |
| help: consider adding an explicit lifetime bound |
| | |
| LL | impl<'a, T: 'a> Trait<'a, T> for () { |
| | ++++ |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0309`. |