[rustc.git] / src / test / ui / coherence / coherence-overlap-negative-trait.rs

// check-pass
// aux-build:error_lib.rs
//
// Check that if we promise to not impl what would overlap it doesn't actually overlap

#![feature(with_negative_coherence)]

extern crate error_lib as lib;
use lib::Error;

trait From<T> {}

impl From<&str> for Box<dyn Error> {}
impl<E> From<E> for Box<dyn Error> where E: Error {}

fn main() {}
Commit	Line	Data
3c0e092e XL	1	// check-pass
	2	// aux-build:error_lib.rs
	3	//
	4	// Check that if we promise to not impl what would overlap it doesn't actually overlap
	5
5099ac24	6	#![feature(with_negative_coherence)]
3c0e092e XL	7
	8	extern crate error_lib as lib;
	9	use lib::Error;
	10
	11	trait From<T> {}
	12
	13	impl From<&str> for Box<dyn Error> {}
	14	impl<E> From<E> for Box<dyn Error> where E: Error {}
	15
	16	fn main() {}