1 files changed, 22 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/issue-18655.rs b/src/test/ui/associated-types/issue-18655.rs
new file mode 100644
index 000000000..3d18542ac
--- /dev/null
+++ b/src/test/ui/associated-types/issue-18655.rs
@@ -0,0 +1,22 @@
+// run-pass
+trait Factory {
+    type Product;
+    fn create(&self) -> <Self as Factory>::Product;
+}
+
+impl Factory for f64 {
+    type Product = f64;
+    fn create(&self) -> f64 { *self * *self }
+}
+
+impl<A: Factory, B: Factory> Factory for (A, B) {
+    type Product = (<A as Factory>::Product, <B as Factory>::Product);
+    fn create(&self) -> (<A as Factory>::Product, <B as Factory>::Product) {
+        let (ref a, ref b) = *self;
+        (a.create(), b.create())
+    }
+}
+
+fn main() {
+    assert_eq!((16., 25.), (4., 5.).create());
+}