1 files changed, 15 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-21909.rs b/src/test/ui/issues/issue-21909.rs
new file mode 100644
index 000000000..7cb558d9a
--- /dev/null
+++ b/src/test/ui/issues/issue-21909.rs
@@ -0,0 +1,15 @@
+// run-pass
+// pretty-expanded FIXME #23616
+
+trait A<X> {
+    fn dummy(&self, arg: X);
+}
+
+trait B {
+    type X;
+    type Y: A<Self::X>;
+
+    fn dummy(&self);
+}
+
+fn main () { }