src/test/ui/associated-types/associated-types-no-suitable-supertrait.stderr

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