trait Foo { }

fn coerce(x: &(dyn Foo + Send)) {
    let _: &dyn Foo = x;
    // let _: &dyn Send = x;
}

fn main() { }