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

// run-pass
#![allow(dead_code)]
// 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 { }
impl<T: lib::MyCopy> MyTrait for T { }
impl MyTrait for MyType { }
impl<'a> MyTrait for &'a MyType { }
impl MyTrait for Box<MyType> { }
impl<'a> MyTrait for &'a Box<MyType> { }

fn main() { }
Commit	Line	Data
b7449926	1	// run-pass
0bf4aa26	2	#![allow(dead_code)]
c34b1796 AL	3	// Test that we are able to introduce a negative constraint that
c34b1796 AL	4	// `MyType: !MyTrait` along with other "fundamental" wrappers.
223e47cc	5
c34b1796	6	// aux-build:coherence_copy_like_lib.rs
1a4d82fc	7
c34b1796 AL	8	extern crate coherence_copy_like_lib as lib;
c34b1796 AL	9
c34b1796 AL	10	struct MyType { x: i32 }
c34b1796 AL	11
9346a6ac	12	trait MyTrait { }
c34b1796 AL	13	impl<T: lib::MyCopy> MyTrait for T { }
	14	impl MyTrait for MyType { }
	15	impl<'a> MyTrait for &'a MyType { }
	16	impl MyTrait for Box<MyType> { }
	17	impl<'a> MyTrait for &'a Box<MyType> { }
223e47cc LB	18
223e47cc LB	19	fn main() { }