1 // Tests for "default" bounds inferred for traits with no bounds list.
5 fn a(_x: Box<dyn Foo + Send>) {
8 fn b(_x: &'static (dyn Foo + 'static)) {
11 fn c(x: Box<dyn Foo + Sync>) {
12 a(x); //~ ERROR mismatched types
15 fn d(x: &'static (dyn Foo + Sync)) {