[rustc.git] / src / test / ui / traits / issue-91594.rs

// #91594: This used to ICE.

trait Component<M> {
    type Interface;
}
trait HasComponent<I> {}

struct Foo;

impl HasComponent<<Foo as Component<Foo>>::Interface> for Foo {}
//~^ ERROR the trait bound `Foo: HasComponent<()>` is not satisfied

impl<M: HasComponent<()>> Component<M> for Foo {
    type Interface = u8;
}

fn main() {}
Commit	Line	Data
5099ac24 FG	1	// #91594: This used to ICE.
	2
	3	trait Component<M> {
	4	type Interface;
	5	}
	6	trait HasComponent<I> {}
	7
	8	struct Foo;
	9
	10	impl HasComponent<<Foo as Component<Foo>>::Interface> for Foo {}
	11	//~^ ERROR the trait bound `Foo: HasComponent<()>` is not satisfied
	12
	13	impl<M: HasComponent<()>> Component<M> for Foo {
	14	type Interface = u8;
	15	}
	16
	17	fn main() {}