[rustc.git] / src / test / ui / specialization / assoc-ty-graph-cycle.rs

// run-pass

// Make sure we don't crash with a cycle error during coherence.

#![feature(specialization)] //~ WARN the feature `specialization` is incomplete

trait Trait<T> {
    type Assoc;
}

impl<T> Trait<T> for Vec<T> {
    default type Assoc = ();
}

impl Trait<u8> for Vec<u8> {
    type Assoc = u8;
}

impl<T> Trait<T> for String {
    type Assoc = ();
}

impl Trait<<Vec<u8> as Trait<u8>>::Assoc> for String {}

fn main() {}
Commit	Line	Data
b7449926 XL	1	// run-pass
b7449926 XL	2
7cac9316 XL	3	// Make sure we don't crash with a cycle error during coherence.
7cac9316 XL	4
f035d41b	5	#![feature(specialization)] //~ WARN the feature `specialization` is incomplete
7cac9316 XL	6
	7	trait Trait<T> {
	8	type Assoc;
	9	}
	10
	11	impl<T> Trait<T> for Vec<T> {
	12	default type Assoc = ();
	13	}
	14
	15	impl Trait<u8> for Vec<u8> {
	16	type Assoc = u8;
	17	}
	18
	19	impl<T> Trait<T> for String {
	20	type Assoc = ();
8bb4bdeb	21	}
7cac9316 XL	22
	23	impl Trait<<Vec<u8> as Trait<u8>>::Assoc> for String {}
	24
	25	fn main() {}