src/test/ui/chalkify/type_inference.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/type_inference.rs:21:14
   3    |
   4 LL |     only_foo(x);
   5    |              ^ expected `i32`, found floating-point number
   6
   7 error[E0277]: the trait bound `{float}: Bar` is not satisfied
   8   --> $DIR/type_inference.rs:25:5
   9    |
  10 LL | fn only_bar<T: Bar>(_x: T) { }
  11    |    --------    --- required by this bound in `only_bar`
  12 ...
  13 LL |     only_bar(x);
  14    |     ^^^^^^^^ the trait `Bar` is not implemented for `{float}`
  15    |
  16    = help: the following implementations were found:
  17              <i32 as Bar>
  18              <u32 as Bar>
  19
  20 error: aborting due to 2 previous errors
  21
  22 Some errors have detailed explanations: E0277, E0308.
  23 For more information about an error, try `rustc --explain E0277`.