1 files changed, 0 insertions, 31 deletions
diff --git a/src/test/ui/associated-types/associated-types-projection-in-where-clause.rs b/src/test/ui/associated-types/associated-types-projection-in-where-clause.rs
deleted file mode 100644
index e9a26e53c..000000000
--- a/src/test/ui/associated-types/associated-types-projection-in-where-clause.rs
+++ /dev/null
@@ -1,31 +0,0 @@
-// run-pass
-#![allow(dead_code)]
-#![allow(unused_variables)]
-// Test a where clause that uses a non-normalized projection type.
-
-// pretty-expanded FIXME #23616
-
-trait Int
-{
-    type T;
-
-    fn dummy(&self) { }
-}
-
-trait NonZero
-{
-    fn non_zero(self) -> bool;
-}
-
-fn foo<I:Int<T=J>,J>(t: I) -> bool
-    where <I as Int>::T : NonZero
-    //    ^~~~~~~~~~~~~ canonical form is just J
-{
-    bar::<J>()
-}
-
-fn bar<NZ:NonZero>() -> bool { true }
-
-fn main ()
-{
-}