src/test/ui/generic-associated-types/construct_with_other_type.stderr

   1 error[E0271]: type mismatch resolving `for<'a> <<T as Baz>::Baa<'a> as std::ops::Deref>::Target == <<T as Baz>::Quux<'a> as Foo>::Bar<'a, 'static>`
   2   --> $DIR/construct_with_other_type.rs:19:9
   3    |
   4 LL | impl<T> Baz for T where T: Foo {
   5    |      -  ^^^ expected type parameter `T`, found associated type
   6    |      |
   7    |      this type parameter
   8    |
   9    = note: expected associated type `<T as Foo>::Bar<'_, 'static>`
  10               found associated type `<<T as Baz>::Quux<'_> as Foo>::Bar<'_, 'static>`
  11 help: consider further restricting this bound
  12    |
  13 LL | impl<T> Baz for T where T: Foo + Baz<Quux = T> {
  14    |                                ^^^^^^^^^^^^^^^
  15
  16 error: aborting due to previous error
  17
  18 For more information about this error, try `rustc --explain E0271`.