src/test/ui/kindck/kindck-send-object1.stderr

   1 error[E0277]: `(dyn Dummy + 'a)` cannot be shared between threads safely
   2   --> $DIR/kindck-send-object1.rs:20:5
   3    |
   4 LL |     assert_send::<&'a Dummy>();
   5    |     ^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be shared between threads safely
   6    |
   7    = help: the trait `std::marker::Sync` is not implemented for `(dyn Dummy + 'a)`
   8    = note: required because of the requirements on the impl of `std::marker::Send` for `&'a (dyn Dummy + 'a)`
   9 note: required by `assert_send`
  10   --> $DIR/kindck-send-object1.rs:15:1
  11    |
  12 LL | fn assert_send<T:Send+'static>() { }
  13    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  14
  15 error[E0477]: the type `&'a (dyn Dummy + std::marker::Sync + 'a)` does not fulfill the required lifetime
  16   --> $DIR/kindck-send-object1.rs:24:5
  17    |
  18 LL |     assert_send::<&'a (Dummy+Sync)>();
  19    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  20    |
  21    = note: type must satisfy the static lifetime
  22
  23 error[E0277]: `(dyn Dummy + 'a)` cannot be sent between threads safely
  24   --> $DIR/kindck-send-object1.rs:39:5
  25    |
  26 LL |     assert_send::<Box<Dummy+'a>>();
  27    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ `(dyn Dummy + 'a)` cannot be sent between threads safely
  28    |
  29    = help: the trait `std::marker::Send` is not implemented for `(dyn Dummy + 'a)`
  30    = note: required because of the requirements on the impl of `std::marker::Send` for `std::ptr::Unique<(dyn Dummy + 'a)>`
  31    = note: required because it appears within the type `std::boxed::Box<(dyn Dummy + 'a)>`
  32 note: required by `assert_send`
  33   --> $DIR/kindck-send-object1.rs:15:1
  34    |
  35 LL | fn assert_send<T:Send+'static>() { }
  36    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  37
  38 error: aborting due to 3 previous errors
  39
  40 Some errors occurred: E0277, E0477.
  41 For more information about an error, try `rustc --explain E0277`.