]> git.proxmox.com Git - rustc.git/blobdiff - src/test/compile-fail/typeck-default-trait-impl-negation-sync.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / typeck-default-trait-impl-negation-sync.rs
index 7c5d1d93b1a7f673be6d9d9b8a64a4f99d1950b7..cdf787a60ad43a9f7a58c716e1a400838f713c5e 100644 (file)
@@ -43,11 +43,11 @@ fn is_sync<T: Sync>() {}
 fn main() {
     is_sync::<MySync>();
     is_sync::<MyNotSync>();
-    //~^ ERROR the trait `core::marker::Sync` is not implemented for the type `MyNotSync`
+    //~^ ERROR `MyNotSync: std::marker::Sync` is not satisfied
 
     is_sync::<MyTypeWUnsafe>();
-    //~^ ERROR the trait `core::marker::Sync` is not implemented for the type `core::cell::UnsafeCell<u8>`
+    //~^ ERROR `std::cell::UnsafeCell<u8>: std::marker::Sync` is not satisfied
 
     is_sync::<MyTypeManaged>();
-    //~^ ERROR the trait `core::marker::Sync` is not implemented for the type `Managed`
+    //~^ ERROR `Managed: std::marker::Sync` is not satisfied
 }