blob: ba82caced7a4edbe28739e7989158dd22b6c4b4d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
// Make sure extern types are !Sync and !Send.
#![feature(extern_types)]
extern "C" {
type A;
}
fn assert_sync<T: ?Sized + Sync>() {}
fn assert_send<T: ?Sized + Send>() {}
fn main() {
assert_sync::<A>();
//~^ ERROR `A` cannot be shared between threads safely [E0277]
assert_send::<A>();
//~^ ERROR `A` cannot be sent between threads safely [E0277]
}
|