1 files changed, 0 insertions, 19 deletions
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-4.rs b/src/test/ui/associated-types/hr-associated-type-bound-param-4.rs
deleted file mode 100644
index 20c8157ed..000000000
--- a/src/test/ui/associated-types/hr-associated-type-bound-param-4.rs
+++ /dev/null
@@ -1,19 +0,0 @@
-trait X<'a, T>
-where
-    for<'b> (T,): X<'b, T>,
-    for<'b> <(T,) as X<'b, T>>::U: Clone,
-{
-    type U: ?Sized;
-    fn f(x: &<(T,) as X<'_, T>>::U) {
-        <<(T,) as X<'_, T>>::U>::clone(x);
-    }
-}
-
-impl<S, T> X<'_, T> for (S,) {
-    type U = str;
-    //~^ ERROR the trait bound `str: Clone` is not satisfied
-}
-
-pub fn main() {
-    <(i32,) as X<i32>>::f("abc");
-}