1 files changed, 25 insertions, 0 deletions
diff --git a/src/test/ui/associated-types/higher-ranked-projection.rs b/src/test/ui/associated-types/higher-ranked-projection.rs
new file mode 100644
index 000000000..7e6c509a2
--- /dev/null
+++ b/src/test/ui/associated-types/higher-ranked-projection.rs
@@ -0,0 +1,25 @@
+// revisions: good bad
+//[good] check-pass
+
+trait Mirror {
+    type Image;
+}
+
+impl<T> Mirror for T {
+    type Image = T;
+}
+
+#[cfg(bad)]
+fn foo<U, T>(_t: T)
+    where for<'a> &'a T: Mirror<Image=U>
+{}
+
+#[cfg(good)]
+fn foo<U, T>(_t: T)
+    where for<'a> &'a T: Mirror<Image=&'a U>
+{}
+
+fn main() {
+    foo(());
+    //[bad]~^ ERROR mismatched types
+}