1 files changed, 0 insertions, 20 deletions
diff --git a/src/test/ui/impl-trait/issue-55872-1.rs b/src/test/ui/impl-trait/issue-55872-1.rs
deleted file mode 100644
index 22ff7ffa2..000000000
--- a/src/test/ui/impl-trait/issue-55872-1.rs
+++ /dev/null
@@ -1,20 +0,0 @@
-#![feature(type_alias_impl_trait)]
-
-pub trait Bar {
-    type E: Copy;
-
-    fn foo<T>() -> Self::E;
-}
-
-impl<S: Default> Bar for S {
-    type E = impl Copy;
-
-    fn foo<T: Default>() -> Self::E {
-        //~^ ERROR impl has stricter requirements than trait
-        //~| ERROR the trait bound `S: Copy` is not satisfied in `(S, T)` [E0277]
-        //~| ERROR the trait bound `T: Copy` is not satisfied in `(S, T)` [E0277]
-        (S::default(), T::default())
-    }
-}
-
-fn main() {}