1 files changed, 0 insertions, 25 deletions
diff --git a/src/test/ui/associated-types/associate-type-bound-normalization.rs b/src/test/ui/associated-types/associate-type-bound-normalization.rs
deleted file mode 100644
index db092970f..000000000
--- a/src/test/ui/associated-types/associate-type-bound-normalization.rs
+++ /dev/null
@@ -1,25 +0,0 @@
-// Make sure that we normalize bounds on associated types before checking them
-// as candidates.
-
-// check-pass
-
-trait Mul<T> {
-    type Output;
-}
-
-trait Matrix: Mul<<Self as Matrix>::Row, Output = ()> {
-    type Row;
-
-    type Transpose: Matrix<Row = Self::Row>;
-}
-
-fn is_mul<S, T: Mul<S, Output = ()>>() {}
-
-fn f<T: Matrix>() {
-    // The unnormalized bound on `T::Transpose` is
-    // `Mul<<T::Transpose as Matrix>::Row` which has to be normalized to be
-    // equal to `T::Row`.
-    is_mul::<T::Row, T::Transpose>();
-}
-
-fn main() {}