| error[E0277]: the trait bound `for<'a> StaticInt: Foo<&'a isize>` is not satisfied |
| --> $DIR/hrtb-just-for-static.rs:24:17 |
| | |
| LL | fn want_hrtb<T>() |
| | --------- |
| LL | where T : for<'a> Foo<&'a isize> |
| | ---------------------- required by this bound in `want_hrtb` |
| ... |
| 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>> |
| |
| error[E0277]: the trait bound `for<'a> &'a u32: Foo<&'a isize>` is not satisfied |
| --> $DIR/hrtb-just-for-static.rs:30:17 |
| | |
| LL | fn want_hrtb<T>() |
| | --------- |
| LL | where T : for<'a> Foo<&'a isize> |
| | ---------------------- required by this bound in `want_hrtb` |
| ... |
| 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>> |
| |
| error: aborting due to 2 previous errors |
| |
| For more information about this error, try `rustc --explain E0277`. |