src/test/ui/chalkify/generic_impls.stderr

   1 error[E0277]: the trait bound `(Option<T>, f32): Foo` is not satisfied
   2   --> $DIR/generic_impls.rs:12:13
   3    |
   4 LL | fn gimme<F: Foo>() { }
   5    |             --- required by this bound in `gimme`
   6 ...
   7 LL |     gimme::<(Option<T>, f32)>();
   8    |             ^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `(Option<T>, f32)`
   9    |
  10    = help: the following implementations were found:
  11              <(T, u32) as Foo>
  12
  13 error[E0277]: the trait bound `(i32, f32): Foo` is not satisfied
  14   --> $DIR/generic_impls.rs:17:13
  15    |
  16 LL | fn gimme<F: Foo>() { }
  17    |             --- required by this bound in `gimme`
  18 ...
  19 LL |     gimme::<(i32, f32)>();
  20    |             ^^^^^^^^^^ the trait `Foo` is not implemented for `(i32, f32)`
  21    |
  22    = help: the following implementations were found:
  23              <(T, u32) as Foo>
  24
  25 error: aborting due to 2 previous errors
  26
  27 For more information about this error, try `rustc --explain E0277`.