src/test/ui/lifetimes/issue-79187.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/issue-79187.rs:5:5
   3    |
   4 LL |     thing(f);
   5    |     ^^^^^^^^ one type is more general than the other
   6    |
   7    = note: expected trait `for<'a> FnOnce<(&'a u32,)>`
   8               found trait `FnOnce<(&u32,)>`
   9 note: this closure does not fulfill the lifetime requirements
  10   --> $DIR/issue-79187.rs:4:13
  11    |
  12 LL |     let f = |_| ();
  13    |             ^^^
  14 note: the lifetime requirement is introduced here
  15   --> $DIR/issue-79187.rs:1:18
  16    |
  17 LL | fn thing(x: impl FnOnce(&u32)) {}
  18    |                  ^^^^^^^^^^^^
  19
  20 error: implementation of `FnOnce` is not general enough
  21   --> $DIR/issue-79187.rs:5:5
  22    |
  23 LL |     thing(f);
  24    |     ^^^^^^^^ implementation of `FnOnce` is not general enough
  25    |
  26    = note: closure with signature `fn(&'2 u32)` must implement `FnOnce<(&'1 u32,)>`, for any lifetime `'1`...
  27    = note: ...but it actually implements `FnOnce<(&'2 u32,)>`, for some specific lifetime `'2`
  28
  29 error: aborting due to 2 previous errors
  30
  31 For more information about this error, try `rustc --explain E0308`.