[rustc.git] / src / test / ui / coherence / coherence_copy_like_err_fundamental_struct_tuple.rs

// Test that we are able to introduce a negative constraint that
// `MyType: !MyTrait` along with other "fundamental" wrappers.

// aux-build:coherence_copy_like_lib.rs


extern crate coherence_copy_like_lib as lib;

struct MyType { x: i32 }

trait MyTrait { fn foo() {} }

impl<T: lib::MyCopy> MyTrait for T { }

// Tuples are not fundamental.
impl MyTrait for lib::MyFundamentalStruct<(MyType,)> { }
//~^ ERROR E0119


fn main() { }
Commit	Line	Data
c34b1796 AL	1	// Test that we are able to introduce a negative constraint that
	2	// `MyType: !MyTrait` along with other "fundamental" wrappers.
	3
	4	// aux-build:coherence_copy_like_lib.rs
a1dfa0c6	5
c34b1796 AL	6
	7	extern crate coherence_copy_like_lib as lib;
	8
c34b1796 AL	9	struct MyType { x: i32 }
c34b1796 AL	10
cc61c64b	11	trait MyTrait { fn foo() {} }
c34b1796	12
54a0048b	13	impl<T: lib::MyCopy> MyTrait for T { }
c34b1796 AL	14
c34b1796 AL	15	// Tuples are not fundamental.
0731742a	16	impl MyTrait for lib::MyFundamentalStruct<(MyType,)> { }
60c5eb7d	17	//~^ ERROR E0119
c34b1796	18
a1dfa0c6	19
c34b1796	20	fn main() { }