1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/associated-types/higher-ranked-projection.rs b/src/test/ui/associated-types/higher-ranked-projection.rs
deleted file mode 100644
index 7e6c509a2..000000000
--- a/src/test/ui/associated-types/higher-ranked-projection.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// 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
-}