error[E0277]: the trait bound `(Option<T>, f32): Foo` is not satisfied
--> $DIR/generic_impls.rs:12:13
|
-LL | fn gimme<F: Foo>() { }
- | --- required by this bound in `gimme`
-...
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 | fn gimme<F: Foo>() { }
- | --- required by this bound in `gimme`
-...
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