use std::kinds::marker;
-struct Foo { a: int, m: marker::NoShare }
+struct Foo { a: int, m: marker::NoSync }
-fn bar<T: Share>(_: T) {}
+fn bar<T: Sync>(_: T) {}
fn main() {
- let x = Foo { a: 5, m: marker::NoShare };
+ let x = Foo { a: 5, m: marker::NoSync };
bar(x);
- //~^ ERROR instantiating a type parameter with an incompatible type `Foo`,
- // which does not fulfill `Share`
+ //~^ ERROR the trait `core::kinds::Sync` is not implemented
}