error[E0308]: method not compatible with trait
  --> $DIR/do-not-imply-from-trait-impl.rs:17:38
   |
LL |     fn foo<'a: 'static>(&'a self) -> impl MkStatic + 'static {
   |                                      ^^^^^^^^^^^^^^^^^^^^^^^ lifetime mismatch
   |
   = note: expected signature `fn(&'late _) -> _`
              found signature `fn(&'a _) -> _`
note: the lifetime `'late` as defined here...
  --> $DIR/do-not-imply-from-trait-impl.rs:13:25
   |
LL |     fn foo<'a: 'static, 'late>(&'late self) -> impl MkStatic;
   |                         ^^^^^
note: ...does not necessarily outlive the lifetime `'a` as defined here
  --> $DIR/do-not-imply-from-trait-impl.rs:17:12
   |
LL |     fn foo<'a: 'static>(&'a self) -> impl MkStatic + 'static {
   |            ^^

error: aborting due to 1 previous error

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