src/test/ui/type-alias-impl-trait/bounds-are-checked.stderr

   1 warning: unnecessary lifetime parameter `'a`
   2   --> $DIR/bounds-are-checked.rs:8:6
   3    |
   4 LL | fn f<'a: 'static>(t: &'a str) -> X<'a> {
   5    |      ^^
   6    |
   7    = help: you can use the `'static` lifetime directly, in place of `'a`
   8
   9 error: non-defining opaque type use in defining scope
  10   --> $DIR/bounds-are-checked.rs:10:5
  11    |
  12 LL | type X<'a> = impl Into<&'static str> + From<&'a str>;
  13    |        -- cannot use static lifetime; use a bound lifetime instead or remove the lifetime parameter from the opaque type
  14 ...
  15 LL |     t
  16    |     ^
  17
  18 error: aborting due to previous error; 1 warning emitted
  19