| 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>() |
| | ^^^^^^^^^^^^^^^^^^^^^^ 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>() |
| | ^^^^^^^^^^^^^^^^^^^^ 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`. |
