New upstream version 1.30.0~beta.7+dfsg1

[rustc.git] / src / test / ui / hrtb / hrtb-perfect-forwarding.stderr

error[E0277]: the trait bound `for<'a> T: Bar<&'a isize>` is not satisfied
  --> $DIR/hrtb-perfect-forwarding.rs:56:5
   |
LL |     foo_hrtb_bar_not(&mut t); //~ ERROR `for<'a> T: Bar<&'a isize>` is not satisfied
   |     ^^^^^^^^^^^^^^^^ the trait `for<'a> Bar<&'a isize>` is not implemented for `T`
   |
   = help: consider adding a `where for<'a> T: Bar<&'a isize>` bound
   = note: required because of the requirements on the impl of `for<'a> Foo<&'a isize>` for `&mut T`
note: required by `foo_hrtb_bar_not`
  --> $DIR/hrtb-perfect-forwarding.rs:49:1
   |
LL | / fn foo_hrtb_bar_not<'b,T>(mut t: T)
LL | |     where T : for<'a> Foo<&'a isize> + Bar<&'b isize>
LL | | {
LL | |     // Not OK -- The forwarding impl for `Foo` requires that `Bar` also
...  |
LL | |     foo_hrtb_bar_not(&mut t); //~ ERROR `for<'a> T: Bar<&'a isize>` is not satisfied
LL | | }
   | |_^

error: aborting due to previous error

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