src/test/ui/chalkify/type_wf.stderr

   1 error[E0277]: the trait bound `{float}: Foo` is not satisfied
   2   --> $DIR/type_wf.rs:18:13
   3    |
   4 LL |     let s = S {
   5    |             ^ the trait `Foo` is not implemented for `{float}`
   6    |
   7    = help: the following implementations were found:
   8              <Option<T> as Foo>
   9              <i32 as Foo>
  10 note: required by `S`
  11   --> $DIR/type_wf.rs:6:1
  12    |
  13 LL | struct S<T: Foo> {
  14    | ^^^^^^^^^^^^^^^^
  15
  16 error: aborting due to previous error
  17
  18 For more information about this error, try `rustc --explain E0277`.