src/test/ui/type/type-params-in-different-spaces-2.stderr

   1 error[E0277]: the trait bound `Self: Tr<U>` is not satisfied
   2   --> $DIR/type-params-in-different-spaces-2.rs:20:9
   3    |
   4 LL |         Tr::op(u)   //~ ERROR E0277
   5    |         ^^^^^^ the trait `Tr<U>` is not implemented for `Self`
   6    |
   7    = help: consider adding a `where Self: Tr<U>` bound
   8 note: required by `Tr::op`
   9   --> $DIR/type-params-in-different-spaces-2.rs:15:5
  10    |
  11 LL |     fn op(_: T) -> Self;
  12    |     ^^^^^^^^^^^^^^^^^^^^
  13
  14 error[E0277]: the trait bound `Self: Tr<U>` is not satisfied
  15   --> $DIR/type-params-in-different-spaces-2.rs:26:9
  16    |
  17 LL |         Tr::op(u)   //~ ERROR E0277
  18    |         ^^^^^^ the trait `Tr<U>` is not implemented for `Self`
  19    |
  20    = help: consider adding a `where Self: Tr<U>` bound
  21 note: required by `Tr::op`
  22   --> $DIR/type-params-in-different-spaces-2.rs:15:5
  23    |
  24 LL |     fn op(_: T) -> Self;
  25    |     ^^^^^^^^^^^^^^^^^^^^
  26
  27 error: aborting due to 2 previous errors
  28
  29 For more information about this error, try `rustc --explain E0277`.