no_share-struct.rs

Author: Kivooeo

tests/ui/traits/struct-negative-sync-impl.rs

@@ -1,14 +1,21 @@
+//! Test negative Sync implementation on structs.
+//!
+//! Uses the unstable `negative_impls` feature to explicitly opt-out of Sync.
+
 #![feature(negative_impls)]
 
 use std::marker::Sync;
 
-struct Foo { a: isize }
-impl !Sync for Foo {}
+struct NotSyncStruct {
+    value: isize,
+}
+
+impl !Sync for NotSyncStruct {}
 
-fn bar<T: Sync>(_: T) {}
+fn requires_sync<T: Sync>(_: T) {}
 
 fn main() {
-    let x = Foo { a: 5 };
-    bar(x);
-    //~^ ERROR `Foo` cannot be shared between threads safely [E0277]
+    let not_sync = NotSyncStruct { value: 5 };
+    requires_sync(not_sync);
+    //~^ ERROR `NotSyncStruct` cannot be shared between threads safely [E0277]
 }

tests/ui/traits/struct-negative-sync-impl.stderr

@@ -1,17 +1,17 @@
-error[E0277]: `Foo` cannot be shared between threads safely
-  --> $DIR/no_share-struct.rs:12:9
+error[E0277]: `NotSyncStruct` cannot be shared between threads safely
+  --> $DIR/struct-negative-sync-impl.rs:19:19
    |
-LL |     bar(x);
-   |     --- ^ `Foo` cannot be shared between threads safely
+LL |     requires_sync(not_sync);
+   |     ------------- ^^^^^^^^ `NotSyncStruct` cannot be shared between threads safely
    |     |
    |     required by a bound introduced by this call
    |
-   = help: the trait `Sync` is not implemented for `Foo`
-note: required by a bound in `bar`
-  --> $DIR/no_share-struct.rs:8:11
+   = help: the trait `Sync` is not implemented for `NotSyncStruct`
+note: required by a bound in `requires_sync`
+  --> $DIR/struct-negative-sync-impl.rs:15:21
    |
-LL | fn bar<T: Sync>(_: T) {}
-   |           ^^^^ required by this bound in `bar`
+LL | fn requires_sync<T: Sync>(_: T) {}
+   |                     ^^^^ required by this bound in `requires_sync`
 
 error: aborting due to 1 previous error