src/test/ui/anonymous-higher-ranked-lifetime.stderr

   1 error[E0631]: type mismatch in closure arguments
   2   --> $DIR/anonymous-higher-ranked-lifetime.rs:12:5
   3    |
   4 12 |     f1(|_: (), _: ()| {});
   5    |     ^^ ----------------- found signature of `fn((), ()) -> _`
   6    |     |
   7    |     expected signature of `for<'r, 's> fn(&'r (), &'s ()) -> _`
   8    |
   9    = note: required by `f1`
  10
  11 error[E0631]: type mismatch in closure arguments
  12   --> $DIR/anonymous-higher-ranked-lifetime.rs:13:5
  13    |
  14 13 |     f2(|_: (), _: ()| {});
  15    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  16    |     |
  17    |     expected signature of `for<'a, 'r> fn(&'a (), &'r ()) -> _`
  18    |
  19    = note: required by `f2`
  20
  21 error[E0631]: type mismatch in closure arguments
  22   --> $DIR/anonymous-higher-ranked-lifetime.rs:14:5
  23    |
  24 14 |     f3(|_: (), _: ()| {});
  25    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  26    |     |
  27    |     expected signature of `for<'r> fn(&(), &'r ()) -> _`
  28    |
  29    = note: required by `f3`
  30
  31 error[E0631]: type mismatch in closure arguments
  32   --> $DIR/anonymous-higher-ranked-lifetime.rs:15:5
  33    |
  34 15 |     f4(|_: (), _: ()| {});
  35    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  36    |     |
  37    |     expected signature of `for<'s, 'r> fn(&'s (), &'r ()) -> _`
  38    |
  39    = note: required by `f4`
  40
  41 error[E0631]: type mismatch in closure arguments
  42   --> $DIR/anonymous-higher-ranked-lifetime.rs:16:5
  43    |
  44 16 |     f5(|_: (), _: ()| {});
  45    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  46    |     |
  47    |     expected signature of `for<'r> fn(&'r (), &'r ()) -> _`
  48    |
  49    = note: required by `f5`
  50
  51 error[E0631]: type mismatch in closure arguments
  52   --> $DIR/anonymous-higher-ranked-lifetime.rs:17:5
  53    |
  54 17 |     g1(|_: (), _: ()| {});
  55    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  56    |     |
  57    |     expected signature of `for<'r> fn(&'r (), std::boxed::Box<for<'s> std::ops::Fn(&'s ()) + 'static>) -> _`
  58    |
  59    = note: required by `g1`
  60
  61 error[E0631]: type mismatch in closure arguments
  62   --> $DIR/anonymous-higher-ranked-lifetime.rs:18:5
  63    |
  64 18 |     g2(|_: (), _: ()| {});
  65    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  66    |     |
  67    |     expected signature of `for<'r> fn(&'r (), for<'s> fn(&'s ())) -> _`
  68    |
  69    = note: required by `g2`
  70
  71 error[E0631]: type mismatch in closure arguments
  72   --> $DIR/anonymous-higher-ranked-lifetime.rs:19:5
  73    |
  74 19 |     g3(|_: (), _: ()| {});
  75    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  76    |     |
  77    |     expected signature of `for<'s> fn(&'s (), std::boxed::Box<for<'r> std::ops::Fn(&'r ()) + 'static>) -> _`
  78    |
  79    = note: required by `g3`
  80
  81 error[E0631]: type mismatch in closure arguments
  82   --> $DIR/anonymous-higher-ranked-lifetime.rs:20:5
  83    |
  84 20 |     g4(|_: (), _: ()| {});
  85    |     ^^ ----------------- found signature of `fn((), ()) -> _`
  86    |     |
  87    |     expected signature of `for<'s> fn(&'s (), for<'r> fn(&'r ())) -> _`
  88    |
  89    = note: required by `g4`
  90
  91 error[E0631]: type mismatch in closure arguments
  92   --> $DIR/anonymous-higher-ranked-lifetime.rs:21:5
  93    |
  94 21 |     h1(|_: (), _: (), _: (), _: ()| {});
  95    |     ^^ ------------------------------- found signature of `fn((), (), (), ()) -> _`
  96    |     |
  97    |     expected signature of `for<'r, 's> fn(&'r (), std::boxed::Box<for<'t0> std::ops::Fn(&'t0 ()) + 'static>, &'s (), for<'t0, 't1> fn(&'t0 (), &'t1 ())) -> _`
  98    |
  99    = note: required by `h1`
 100
 101 error[E0631]: type mismatch in closure arguments
 102   --> $DIR/anonymous-higher-ranked-lifetime.rs:22:5
 103    |
 104 22 |     h2(|_: (), _: (), _: (), _: ()| {});
 105    |     ^^ ------------------------------- found signature of `fn((), (), (), ()) -> _`
 106    |     |
 107    |     expected signature of `for<'r, 't0> fn(&'r (), std::boxed::Box<for<'s> std::ops::Fn(&'s ()) + 'static>, &'t0 (), for<'s, 't1> fn(&'s (), &'t1 ())) -> _`
 108    |
 109    = note: required by `h2`
 110
 111 error: aborting due to 11 previous errors
 112