1 files changed, 26 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/issue-23208.rs b/src/test/ui/associated-types/issue-23208.rs
new file mode 100644
index 000000000..fd4ffe5d6
--- /dev/null
+++ b/src/test/ui/associated-types/issue-23208.rs
@@ -0,0 +1,26 @@
+// run-pass
+trait TheTrait : TheSuperTrait<<Self as TheTrait>::Item> {
+    type Item;
+}
+
+trait TheSuperTrait<T> {
+    fn get(&self) -> T;
+}
+
+impl TheTrait for i32 {
+    type Item = u32;
+}
+
+impl TheSuperTrait<u32> for i32 {
+    fn get(&self) -> u32 {
+        *self as u32
+    }
+}
+
+fn foo<T:TheTrait<Item=u32>>(t: &T) -> u32 {
+    t.get()
+}
+
+fn main() {
+    foo::<i32>(&22);
+}