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