src/test/ui/associated-types/associated-types-in-bound-type-arg.rs

   1 // run-pass
   2 // Test the case where we resolve `C::Result` and the trait bound
   3 // itself includes a `Self::Item` shorthand.
   4 //
   5 // Regression test for issue #33425.
   6
   7 trait ParallelIterator {
   8     type Item;
   9     fn drive_unindexed<C>(self, consumer: C) -> C::Result
  10         where C: Consumer<Self::Item>;
  11 }
  12
  13 pub trait Consumer<ITEM> {
  14     type Result;
  15 }
  16
  17 fn main() { }