src/test/ui/traits/negative-impls/negated-auto-traits-error.stderr

   1 error[E0277]: `dummy::TestType` cannot be sent between threads safely
   2   --> $DIR/negated-auto-traits-error.rs:23:11
   3    |
   4 LL | struct Outer<T: Send>(T);
   5    | ------------------------- required by `Outer`
   6 ...
   7 LL |     Outer(TestType);
   8    |           ^^^^^^^^ `dummy::TestType` cannot be sent between threads safely
   9    |
  10    = help: the trait `std::marker::Send` is not implemented for `dummy::TestType`
  11
  12 error[E0277]: `dummy::TestType` cannot be sent between threads safely
  13   --> $DIR/negated-auto-traits-error.rs:23:5
  14    |
  15 LL | struct Outer<T: Send>(T);
  16    |                 ---- required by this bound in `Outer`
  17 ...
  18 LL |     Outer(TestType);
  19    |     ^^^^^^^^^^^^^^^ `dummy::TestType` cannot be sent between threads safely
  20    |
  21    = help: the trait `std::marker::Send` is not implemented for `dummy::TestType`
  22
  23 error[E0277]: `dummy1b::TestType` cannot be sent between threads safely
  24   --> $DIR/negated-auto-traits-error.rs:32:13
  25    |
  26 LL | fn is_send<T: Send>(_: T) {}
  27    |               ---- required by this bound in `is_send`
  28 ...
  29 LL |     is_send(TestType);
  30    |             ^^^^^^^^ `dummy1b::TestType` cannot be sent between threads safely
  31    |
  32    = help: the trait `std::marker::Send` is not implemented for `dummy1b::TestType`
  33
  34 error[E0277]: `dummy1c::TestType` cannot be sent between threads safely
  35   --> $DIR/negated-auto-traits-error.rs:40:13
  36    |
  37 LL | fn is_send<T: Send>(_: T) {}
  38    |               ---- required by this bound in `is_send`
  39 ...
  40 LL |     is_send((8, TestType));
  41    |             ^^^^^^^^^^^^^ `dummy1c::TestType` cannot be sent between threads safely
  42    |
  43    = help: within `({integer}, dummy1c::TestType)`, the trait `std::marker::Send` is not implemented for `dummy1c::TestType`
  44    = note: required because it appears within the type `({integer}, dummy1c::TestType)`
  45
  46 error[E0277]: `dummy2::TestType` cannot be sent between threads safely
  47   --> $DIR/negated-auto-traits-error.rs:48:13
  48    |
  49 LL | fn is_send<T: Send>(_: T) {}
  50    |               ---- required by this bound in `is_send`
  51 ...
  52 LL |     is_send(Box::new(TestType));
  53    |             ^^^^^^^^^^^^^^^^^^
  54    |             |
  55    |             expected an implementor of trait `std::marker::Send`
  56    |             help: consider borrowing here: `&Box::new(TestType)`
  57    |
  58    = note: the trait bound `dummy2::TestType: std::marker::Send` is not satisfied
  59    = note: required because of the requirements on the impl of `std::marker::Send` for `std::ptr::Unique<dummy2::TestType>`
  60    = note: required because it appears within the type `std::boxed::Box<dummy2::TestType>`
  61
  62 error[E0277]: `dummy3::TestType` cannot be sent between threads safely
  63   --> $DIR/negated-auto-traits-error.rs:56:13
  64    |
  65 LL | fn is_send<T: Send>(_: T) {}
  66    |               ---- required by this bound in `is_send`
  67 ...
  68 LL |     is_send(Box::new(Outer2(TestType)));
  69    |             ^^^^^^^^^^^^^^^^^^^^^^^^^^ `dummy3::TestType` cannot be sent between threads safely
  70    |
  71    = help: within `Outer2<dummy3::TestType>`, the trait `std::marker::Send` is not implemented for `dummy3::TestType`
  72    = note: required because it appears within the type `Outer2<dummy3::TestType>`
  73    = note: required because of the requirements on the impl of `std::marker::Send` for `std::ptr::Unique<Outer2<dummy3::TestType>>`
  74    = note: required because it appears within the type `std::boxed::Box<Outer2<dummy3::TestType>>`
  75
  76 error[E0277]: `main::TestType` cannot be sent between threads safely
  77   --> $DIR/negated-auto-traits-error.rs:66:13
  78    |
  79 LL | fn is_sync<T: Sync>(_: T) {}
  80    |               ---- required by this bound in `is_sync`
  81 ...
  82 LL |     is_sync(Outer2(TestType));
  83    |             ^^^^^^^^^^^^^^^^
  84    |             |
  85    |             expected an implementor of trait `std::marker::Sync`
  86    |             help: consider borrowing here: `&Outer2(TestType)`
  87    |
  88    = note: the trait bound `main::TestType: std::marker::Sync` is not satisfied
  89    = note: required because of the requirements on the impl of `std::marker::Sync` for `Outer2<main::TestType>`
  90
  91 error: aborting due to 7 previous errors
  92
  93 For more information about this error, try `rustc --explain E0277`.