| error[E0792]: expected generic lifetime parameter, found `'static` |
| --> $DIR/non-defining-use-lifetimes.rs:13:16 |
| | |
| LL | fn foo<'a>(_: Lt<'a>) -> impl Sized + 'a { |
| | -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type |
| LL | let _: () = foo(Lt::<'static>::None); |
| | ^^ |
| |
| error[E0792]: expected generic lifetime parameter, found `'_` |
| --> $DIR/non-defining-use-lifetimes.rs:22:16 |
| | |
| LL | fn foo<'a>(_: Lt<'a>) -> impl Sized + 'a { |
| | -- this generic parameter must be used with a generic lifetime parameter |
| LL | let _: () = foo(Lt::<'_>::None); |
| | ^^ |
| |
| error: non-defining opaque type use in defining scope |
| --> $DIR/non-defining-use-lifetimes.rs:32:16 |
| | |
| LL | let _: () = foo(Lt::<'a>::None, Lt::<'a>::None); |
| | ^^ |
| | |
| note: lifetime used multiple times |
| --> $DIR/non-defining-use-lifetimes.rs:31:58 |
| | |
| LL | fn foo<'a, 'b>(_: Lt<'a>, _: Lt<'b>) -> impl Sized + 'a + 'b { |
| | ^^ ^^ |
| |
| error: aborting due to 3 previous errors |
| |
| For more information about this error, try `rustc --explain E0792`. |