1 error[E0308]: mismatched types
5 | - ^ expected trait `Foo + Send`, found trait `Foo + Sync`
7 | arguments to this function are incorrect
9 = note: expected struct `Box<(dyn Foo + Send + 'static)>`
10 found struct `Box<(dyn Foo + Sync + 'static)>`
11 note: function defined here
14 LL | fn a(_x: Box<dyn Foo + Send>) {
15 | ^ -----------------------
17 error: aborting due to previous error
19 For more information about this error, try `rustc --explain E0308`.