[rustc.git] / src / test / ui / issues / issue-17718-static-sync.rs

#![feature(negative_impls)]

use std::marker::Sync;

struct Foo;
impl !Sync for Foo {}

static FOO: usize = 3;
static BAR: Foo = Foo;
//~^ ERROR: `Foo` cannot be shared between threads safely [E0277]

fn main() {}
Commit	Line	Data
ba9703b0	1	#![feature(negative_impls)]
223e47cc	2
85aaf69f SL	3	use std::marker::Sync;
	4
	5	struct Foo;
	6	impl !Sync for Foo {}
223e47cc	7
1a4d82fc	8	static FOO: usize = 3;
85aaf69f	9	static BAR: Foo = Foo;
0531ce1d	10	//~^ ERROR: `Foo` cannot be shared between threads safely [E0277]
223e47cc LB	11
223e47cc LB	12	fn main() {}