warning: unnecessary lifetime parameter `'a`
  --> $DIR/bounds-are-checked.rs:9:6
   |
LL | fn f<'a: 'static>(t: &'a str) -> X<'a> {
   |      ^^^^^^^^^^^
   |
   = help: you can use the `'static` lifetime directly, in place of `'a`

error[E0308]: mismatched types
  --> $DIR/bounds-are-checked.rs:6:14
   |
LL | type X<'a> = impl Into<&'static str> + From<&'a str>;
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
   |
   = note: expected trait `From<&'a str>`
              found trait `From<&'static str>`
note: the lifetime `'a` as defined here...
  --> $DIR/bounds-are-checked.rs:6:8
   |
LL | type X<'a> = impl Into<&'static str> + From<&'a str>;
   |        ^^
   = note: ...does not necessarily outlive the static lifetime

error: aborting due to previous error; 1 warning emitted

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