src/test/ui/traits/bound/sugar.stderr

   1 error[E0308]: mismatched types
   2   --> $DIR/sugar.rs:12:7
   3    |
   4 LL |     a(x);
   5    |       ^ expected trait `Foo + Send`, found trait `Foo + Sync`
   6    |
   7    = note: expected struct `Box<(dyn Foo + Send + 'static)>`
   8               found struct `Box<(dyn Foo + Sync + 'static)>`
   9
  10 error: aborting due to previous error
  11
  12 For more information about this error, try `rustc --explain E0308`.