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 | struct S<T: Foo> {
   5    | ---------------- required by `S`
   6 ...
   7 LL |     let s = S {
   8    |             ^ the trait `Foo` is not implemented for `{float}`
   9    |
  10    = help: the following implementations were found:
  11              <Option<T> as Foo>
  12              <i32 as Foo>
  13
  14 error: aborting due to previous error
  15
  16 For more information about this error, try `rustc --explain E0277`.