blob: acd8056bee08359f983b35b6b9d2e4209c84afa0 [file] [log] [blame]
//@ run-pass
#![allow(dead_code)]
#![allow(unconditional_recursion)]
trait Foo {
}
fn b(_x: Box<dyn Foo+Send>) {
}
fn c(x: Box<dyn Foo+Sync+Send>) {
e(x);
}
fn d(x: Box<dyn Foo+Send>) {
e(x);
}
fn e(x: Box<dyn Foo>) {
e(x);
}
pub fn main() { }