error[E0277]: the trait bound `for<'a> StaticInt: Foo<&'a isize>` is not satisfied
  --> $DIR/hrtb-just-for-static.rs:24:5
   |
LL |     want_hrtb::<StaticInt>() //~ ERROR
   |     ^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Foo<&'a isize>` is not implemented for `StaticInt`
   |
   = help: the following implementations were found:
             <StaticInt as Foo<&'static isize>>
note: required by `want_hrtb`
  --> $DIR/hrtb-just-for-static.rs:8:1
   |
LL | / fn want_hrtb<T>()
LL | |     where T : for<'a> Foo<&'a isize>
LL | | {
LL | | }
   | |_^

error[E0277]: the trait bound `for<'a> &'a u32: Foo<&'a isize>` is not satisfied
  --> $DIR/hrtb-just-for-static.rs:30:5
   |
LL |     want_hrtb::<&'a u32>() //~ ERROR
   |     ^^^^^^^^^^^^^^^^^^^^ the trait `for<'a> Foo<&'a isize>` is not implemented for `&'a u32`
   |
   = help: the following implementations were found:
             <&'a u32 as Foo<&'a isize>>
note: required by `want_hrtb`
  --> $DIR/hrtb-just-for-static.rs:8:1
   |
LL | / fn want_hrtb<T>()
LL | |     where T : for<'a> Foo<&'a isize>
LL | | {
LL | | }
   | |_^

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0277`.