1 // Copyright 2014 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
11 // Verify that UnsafeCell is *always* !Sync regardless if `T` is sync.
13 #![feature(optin_builtin_traits)]
15 use std::cell::UnsafeCell;
16 use std::marker::Sync;
23 impl !Sync for NoSync {}
25 fn test<T: Sync>(s: T) {}
28 let us = UnsafeCell::new(MySync{u: UnsafeCell::new(0)});
30 //~^ ERROR `std::cell::UnsafeCell<MySync<{integer}>>` cannot be shared between threads safely
32 let uns = UnsafeCell::new(NoSync);
34 //~^ ERROR `std::cell::UnsafeCell<NoSync>` cannot be shared between threads safely [E0277]
36 let ms = MySync{u: uns};
38 //~^ ERROR `std::cell::UnsafeCell<NoSync>` cannot be shared between threads safely [E0277]
41 //~^ ERROR `NoSync` cannot be shared between threads safely [E0277]