src/test/ui/nll/closure-malformed-projection-input-issue-102800.stderr

   1 error: lifetime may not live long enough
   2   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
   3    |
   4 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
   5    |                                                ^-^
   6    |                                                ||
   7    |                                                |has type `<&'1 () as Trait>::Ty`
   8    |                                                requires that `'1` must outlive `'static`
   9
  10 error: higher-ranked subtype error
  11   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  12    |
  13 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  14    |                                                ^^^
  15
  16 error: higher-ranked subtype error
  17   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  18    |
  19 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  20    |                                                ^^^
  21
  22 error: implementation of `Trait` is not general enough
  23   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  24    |
  25 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  26    |                                                ^^^^^^ implementation of `Trait` is not general enough
  27    |
  28    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  29    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  30
  31 error: implementation of `Trait` is not general enough
  32   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:12
  33    |
  34 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  35    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Trait` is not general enough
  36    |
  37    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  38    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  39
  40 error: implementation of `Trait` is not general enough
  41   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:12
  42    |
  43 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  44    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Trait` is not general enough
  45    |
  46    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  47    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  48
  49 error: implementation of `Trait` is not general enough
  50   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:12
  51    |
  52 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  53    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Trait` is not general enough
  54    |
  55    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  56    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  57
  58 error: implementation of `Trait` is not general enough
  59   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:12
  60    |
  61 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  62    |            ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ implementation of `Trait` is not general enough
  63    |
  64    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  65    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  66
  67 error: implementation of `Trait` is not general enough
  68   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  69    |
  70 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  71    |                                                ^^^^^^ implementation of `Trait` is not general enough
  72    |
  73    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  74    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  75
  76 error: implementation of `Trait` is not general enough
  77   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  78    |
  79 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  80    |                                                ^^^^^^ implementation of `Trait` is not general enough
  81    |
  82    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  83    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  84
  85 error: implementation of `Trait` is not general enough
  86   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  87    |
  88 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  89    |                                                ^^^^^^ implementation of `Trait` is not general enough
  90    |
  91    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
  92    = note: ...but `Trait` is actually implemented for the type `&'static ()`
  93
  94 error: implementation of `Trait` is not general enough
  95   --> $DIR/closure-malformed-projection-input-issue-102800.rs:18:48
  96    |
  97 LL |     let _: for<'a> fn(<&'a () as Trait>::Ty) = |_| {};
  98    |                                                ^^^^^^ implementation of `Trait` is not general enough
  99    |
 100    = note: `&'0 ()` must implement `Trait`, for any lifetime `'0`...
 101    = note: ...but `Trait` is actually implemented for the type `&'static ()`
 102
 103 error: aborting due to 12 previous errors
 104