src/test/ui/hrtb/hrtb-just-for-static.stderr

   1 error[E0277]: the trait bound `for<'a> StaticInt: Foo<&'a isize>` is not satisfied
   2   --> $DIR/hrtb-just-for-static.rs:24:17
   3    |
   4 LL | fn want_hrtb<T>()
   5    |    --------- required by a bound in this
   6 LL |     where T : for<'a> Foo<&'a isize>
   7    |               ---------------------- required by this bound in `want_hrtb`
   8 ...
   9 LL |     want_hrtb::<StaticInt>()
  10    |                 ^^^^^^^^^ the trait `for<'a> Foo<&'a isize>` is not implemented for `StaticInt`
  11    |
  12    = help: the following implementations were found:
  13              <StaticInt as Foo<&'static isize>>
  14
  15 error[E0277]: the trait bound `for<'a> &'a u32: Foo<&'a isize>` is not satisfied
  16   --> $DIR/hrtb-just-for-static.rs:30:17
  17    |
  18 LL | fn want_hrtb<T>()
  19    |    --------- required by a bound in this
  20 LL |     where T : for<'a> Foo<&'a isize>
  21    |               ---------------------- required by this bound in `want_hrtb`
  22 ...
  23 LL |     want_hrtb::<&'a u32>()
  24    |                 ^^^^^^^ the trait `for<'a> Foo<&'a isize>` is not implemented for `&'a u32`
  25    |
  26    = help: the following implementations were found:
  27              <&'a u32 as Foo<&'a isize>>
  28
  29 error: aborting due to 2 previous errors
  30
  31 For more information about this error, try `rustc --explain E0277`.