| error[E0277]: the trait bound `for<'a, 'b> SomeStruct: Foo<(&'a isize, &'b isize)>` is not satisfied |
| --> $DIR/hrtb-conflate-regions.rs:38:10 |
| | |
| LL | fn b() { want_foo2::<SomeStruct>(); } //~ ERROR E0277 |
| | ^^^^^^^^^^^^^^^^^^^^^^^ the trait `for<'a, 'b> Foo<(&'a isize, &'b isize)>` is not implemented for `SomeStruct` |
| | |
| = help: the following implementations were found: |
| <SomeStruct as Foo<(&'a isize, &'a isize)>> |
| note: required by `want_foo2` |
| --> $DIR/hrtb-conflate-regions.rs:18:1 |
| | |
| LL | / fn want_foo2<T>() |
| LL | | where T : for<'a,'b> Foo<(&'a isize, &'b isize)> |
| LL | | { |
| LL | | } |
| | |_^ |
| |
| error: aborting due to previous error |
| |
| For more information about this error, try `rustc --explain E0277`. |
