error[E0277]: the trait bound `{float}: Bar` is not satisfied --> $DIR/type_inference.rs:27:14 | LL | fn only_bar(_x: T) { } | --- required by this bound in `only_bar` ... LL | only_bar(x); | ^ the trait `Bar` is not implemented for `{float}` | = help: the following implementations were found: error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.