error[E0277]: the trait bound `(Option<T>, f32): Foo` is not satisfied
  --> $DIR/generic_impls.rs:12:13
   |
LL |     gimme::<(Option<T>, f32)>();
   |             ^^^^^^^^^^^^^^^^ the trait `Foo` is not implemented for `(Option<T>, f32)`
   |
   = help: the following implementations were found:
             <(T, u32) as Foo>
note: required by a bound in `gimme`
  --> $DIR/generic_impls.rs:7:13
   |
LL | fn gimme<F: Foo>() { }
   |             ^^^ required by this bound in `gimme`

error[E0277]: the trait bound `(i32, f32): Foo` is not satisfied
  --> $DIR/generic_impls.rs:17:13
   |
LL |     gimme::<(i32, f32)>();
   |             ^^^^^^^^^^ the trait `Foo` is not implemented for `(i32, f32)`
   |
   = help: the following implementations were found:
             <(T, u32) as Foo>
note: required by a bound in `gimme`
  --> $DIR/generic_impls.rs:7:13
   |
LL | fn gimme<F: Foo>() { }
   |             ^^^ required by this bound in `gimme`

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0277`.
