error[E0277]: `(dyn Dummy + 'a)` cannot be shared between threads safely
  --> $DIR/kindck-send-object1.rs:10:5
   |
LL |     assert_send::<&'a Dummy>();
   |     ^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be shared between threads safely
   |
   = help: the trait `std::marker::Sync` is not implemented for `(dyn Dummy + 'a)`
   = note: required because of the requirements on the impl of `std::marker::Send` for `&'a (dyn Dummy + 'a)`
note: required by `assert_send`
  --> $DIR/kindck-send-object1.rs:5:1
   |
LL | fn assert_send<T:Send+'static>() { }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error[E0477]: the type `&'a (dyn Dummy + std::marker::Sync + 'a)` does not fulfill the required lifetime
  --> $DIR/kindck-send-object1.rs:14:5
   |
LL |     assert_send::<&'a (Dummy+Sync)>();
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
   |
   = note: type must satisfy the static lifetime

error[E0277]: `(dyn Dummy + 'a)` cannot be sent between threads safely
  --> $DIR/kindck-send-object1.rs:29:5
   |
LL |     assert_send::<Box<Dummy+'a>>();
   |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be sent between threads safely
   |
   = help: the trait `std::marker::Send` is not implemented for `(dyn Dummy + 'a)`
   = note: required because of the requirements on the impl of `std::marker::Send` for `std::ptr::Unique<(dyn Dummy + 'a)>`
   = note: required because it appears within the type `std::boxed::Box<(dyn Dummy + 'a)>`
note: required by `assert_send`
  --> $DIR/kindck-send-object1.rs:5:1
   |
LL | fn assert_send<T:Send+'static>() { }
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to 3 previous errors

Some errors occurred: E0277, E0477.
For more information about an error, try `rustc --explain E0277`.