[rustc.git] / src / test / ui / coherence / coherence-impls-sized.rs

#![feature(optin_builtin_traits)]

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() {
}
Commit	Line	Data
c34b1796	1	#![feature(optin_builtin_traits)]
223e47cc	2
c34b1796	3	use std::marker::Copy;
1a4d82fc	4
c34b1796 AL	5	enum TestE {
	6	A
	7	}
223e47cc	8
c34b1796 AL	9	struct MyType;
	10
	11	struct NotSync;
	12	impl !Sync for NotSync {}
	13
0731742a	14	impl Sized for TestE {}
60c5eb7d	15	//~^ ERROR E0322
0731742a XL	16
0731742a XL	17	impl Sized for MyType {}
60c5eb7d	18	//~^ ERROR E0322
0731742a XL	19
0731742a XL	20	impl Sized for (MyType, MyType) {}
60c5eb7d XL	21	//~^ ERROR E0322
60c5eb7d XL	22	//~\| ERROR E0117
0731742a XL	23
0731742a XL	24	impl Sized for &'static NotSync {}
60c5eb7d	25	//~^ ERROR E0322
0731742a XL	26
0731742a XL	27	impl Sized for [MyType] {}
60c5eb7d XL	28	//~^ ERROR E0322
60c5eb7d XL	29	//~\| ERROR E0117
0731742a XL	30
0731742a XL	31	impl Sized for &'static [NotSync] {}
60c5eb7d XL	32	//~^ ERROR E0322
60c5eb7d XL	33	//~\| ERROR E0117
c34b1796 AL	34
	35	fn main() {
	36	}