blob: b2a9c5be658439dd1714c4631ab6333f462192df [file] [log] [blame]
#![feature(optin_builtin_traits)]
#![feature(overlapping_marker_traits)]
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 E0117
fn main() {
}