about summary refs log tree commit diff
path: root/tests/ui/impl-trait/in-trait/do-not-imply-from-trait-impl.stderr
blob: 95d8699e19ff14fd541619eb4794bfd72799652f (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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`.