tests/ui/associated-types/associated-types-no-suitable-supertrait.stderr

   1 error[E0277]: the trait bound `(T, U): Get` is not satisfied
   2   --> $DIR/associated-types-no-suitable-supertrait.rs:22:40
   3    |
   4 LL |     fn uhoh<U:Get>(&self, foo: U, bar: <(T, U) as Get>::Value) {}
   5    |                                        ^^^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `(T, U)`
   6    |
   7 help: this trait has no implementations, consider adding one
   8   --> $DIR/associated-types-no-suitable-supertrait.rs:12:1
   9    |
  10 LL | trait Get {
  11    | ^^^^^^^^^
  12
  13 error[E0277]: the trait bound `Self: Get` is not satisfied
  14   --> $DIR/associated-types-no-suitable-supertrait.rs:17:40
  15    |
  16 LL |     fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) {}
  17    |                                        ^^^^^^^^^^^^^^^^^^^^ the trait `Get` is not implemented for `Self`
  18    |
  19 help: consider further restricting `Self`
  20    |
  21 LL |     fn uhoh<U:Get>(&self, foo: U, bar: <Self as Get>::Value) where Self: Get {}
  22    |                                                              +++++++++++++++
  23
  24 error: aborting due to 2 previous errors
  25
  26 For more information about this error, try `rustc --explain E0277`.