src/test/ui/statics/issue-17718-static-sync.rs


1
2
3
4
5
6
7
8
9
10
11
12

#![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() {}