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:34:5
   3    |
   4 LL |     want_hrtb::<StaticInt>() //~ ERROR `for<'a> StaticInt: Foo<&'a isize>` is not satisfied
   5    |     ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Foo<&'a isize>` is not implemented for `StaticInt`
   6    |
   7    = help: the following implementations were found:
   8              <StaticInt as Foo<&'static isize>>
   9 note: required by `want_hrtb`
  10   --> $DIR/hrtb-just-for-static.rs:18:1
  11    |
  12 LL | / fn want_hrtb<T>()
  13 LL | |     where T : for<'a> Foo<&'a isize>
  14 LL | | {
  15 LL | | }
  16    | |_^
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0277`.