#![feature(negative_impls)] | |
use std::marker::Copy; | |
enum TestE { | |
A | |
} | |
struct MyType; | |
struct NotSync; | |
impl !Sync for NotSync {} | |
impl Sized for TestE {} | |
//~^ ERROR E0322 | |
impl Sized for MyType {} | |
//~^ ERROR E0322 | |
impl Sized for (MyType, MyType) {} | |
//~^ ERROR E0322 | |
//~| ERROR E0117 | |
impl Sized for &'static NotSync {} | |
//~^ ERROR E0322 | |
impl Sized for [MyType] {} | |
//~^ ERROR E0322 | |
//~| ERROR E0117 | |
impl Sized for &'static [NotSync] {} | |
//~^ ERROR E0322 | |
//~| ERROR E0117 | |
fn main() { | |
} |