1 error[E0277]: `MyNotSync` cannot be shared between threads safely
2 --> $DIR/typeck-default-trait-impl-negation-sync.rs:45:5
4 LL | is_sync::<MyNotSync>();
5 | ^^^^^^^^^^^^^^^^^^^^ `MyNotSync` cannot be shared between threads safely
7 = help: the trait `std::marker::Sync` is not implemented for `MyNotSync`
8 note: required by `is_sync`
9 --> $DIR/typeck-default-trait-impl-negation-sync.rs:41:1
11 LL | fn is_sync<T: Sync>() {}
12 | ^^^^^^^^^^^^^^^^^^^^^
14 error[E0277]: `std::cell::UnsafeCell<u8>` cannot be shared between threads safely
15 --> $DIR/typeck-default-trait-impl-negation-sync.rs:48:5
17 LL | is_sync::<MyTypeWUnsafe>();
18 | ^^^^^^^^^^^^^^^^^^^^^^^^ `std::cell::UnsafeCell<u8>` cannot be shared between threads safely
20 = help: within `MyTypeWUnsafe`, the trait `std::marker::Sync` is not implemented for `std::cell::UnsafeCell<u8>`
21 = note: required because it appears within the type `MyTypeWUnsafe`
22 note: required by `is_sync`
23 --> $DIR/typeck-default-trait-impl-negation-sync.rs:41:1
25 LL | fn is_sync<T: Sync>() {}
26 | ^^^^^^^^^^^^^^^^^^^^^
28 error[E0277]: `Managed` cannot be shared between threads safely
29 --> $DIR/typeck-default-trait-impl-negation-sync.rs:51:5
31 LL | is_sync::<MyTypeManaged>();
32 | ^^^^^^^^^^^^^^^^^^^^^^^^ `Managed` cannot be shared between threads safely
34 = help: within `MyTypeManaged`, the trait `std::marker::Sync` is not implemented for `Managed`
35 = note: required because it appears within the type `MyTypeManaged`
36 note: required by `is_sync`
37 --> $DIR/typeck-default-trait-impl-negation-sync.rs:41:1
39 LL | fn is_sync<T: Sync>() {}
40 | ^^^^^^^^^^^^^^^^^^^^^
42 error: aborting due to 3 previous errors
44 For more information about this error, try `rustc --explain E0277`.