29 lines
474 B
Rust
29 lines
474 B
Rust
#![feature(negative_impls)]
|
|
|
|
use std::marker::Copy;
|
|
|
|
enum TestE {
|
|
A,
|
|
}
|
|
|
|
struct MyType;
|
|
|
|
struct NotSync;
|
|
impl !Sync for NotSync {}
|
|
|
|
unsafe impl Send for TestE {}
|
|
unsafe impl Send for MyType {}
|
|
unsafe impl Send for (MyType, MyType) {}
|
|
//~^ ERROR E0117
|
|
|
|
unsafe impl Send for &'static NotSync {}
|
|
//~^ ERROR E0321
|
|
|
|
unsafe impl Send for [MyType] {}
|
|
//~^ ERROR E0117
|
|
|
|
unsafe impl Send for &'static [NotSync] {}
|
|
//~^ ERROR only traits defined in the current crate
|
|
|
|
fn main() {}
|