[rustc.git] / src / test / ui / coherence / coherence-overlap-negate-use-feature-gate.rs

// check-pass

#![feature(with_negative_coherence)]

use std::ops::DerefMut;

trait Foo {}
impl<T: DerefMut> Foo for T {}
impl<U> Foo for &U {}

fn main() {}
Commit	Line	Data
3c0e092e XL	1	// check-pass
3c0e092e XL	2
5099ac24	3	#![feature(with_negative_coherence)]
3c0e092e XL	4
	5	use std::ops::DerefMut;
	6
	7	trait Foo {}
	8	impl<T: DerefMut> Foo for T {}
	9	impl<U> Foo for &U {}
	10
	11	fn main() {}