1 files changed, 9 insertions, 0 deletions

diff --git a/tests/ui/issues/issue-23073.rs b/tests/ui/issues/issue-23073.rs
new file mode 100644
index 000000000..a0ca91336
--- /dev/null
+++ b/tests/ui/issues/issue-23073.rs
@@ -0,0 +1,9 @@
+#![feature(associated_type_defaults)]
+
+trait Foo { type T; }
+trait Bar {
+    type Foo: Foo;
+    type FooT = <<Self as Bar>::Foo>::T; //~ ERROR ambiguous associated type
+}
+
+fn main() {}