1 files changed, 15 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/issue-22560.rs b/src/test/ui/associated-types/issue-22560.rs
new file mode 100644
index 000000000..44be8817b
--- /dev/null
+++ b/src/test/ui/associated-types/issue-22560.rs
@@ -0,0 +1,15 @@
+trait Add<Rhs=Self> {
+    type Output;
+}
+
+trait Sub<Rhs=Self> {
+    type Output;
+}
+
+type Test = dyn Add + Sub;
+//~^ ERROR E0393
+//~| ERROR E0191
+//~| ERROR E0393
+//~| ERROR E0225
+
+fn main() { }