src/test/ui/traits/issue-91594.rs

   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() {}