1 files changed, 17 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/associated-types-in-bound-type-arg.rs b/src/test/ui/associated-types/associated-types-in-bound-type-arg.rs
new file mode 100644
index 000000000..88bb5fe0a
--- /dev/null
+++ b/src/test/ui/associated-types/associated-types-in-bound-type-arg.rs
@@ -0,0 +1,17 @@
+// run-pass
+// Test the case where we resolve `C::Result` and the trait bound
+// itself includes a `Self::Item` shorthand.
+//
+// Regression test for issue #33425.
+
+trait ParallelIterator {
+    type Item;
+    fn drive_unindexed<C>(self, consumer: C) -> C::Result
+        where C: Consumer<Self::Item>;
+}
+
+pub trait Consumer<ITEM> {
+    type Result;
+}
+
+fn main() { }