1 files changed, 0 insertions, 11 deletions

diff --git a/src/test/ui/issues/issue-25076.rs b/src/test/ui/issues/issue-25076.rs
deleted file mode 100644
index 6c5a55392..000000000
--- a/src/test/ui/issues/issue-25076.rs
+++ /dev/null
@@ -1,11 +0,0 @@
-struct S;
-
-trait InOut<T> { type Out; }
-
-fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {}
-
-fn bot<T>() -> T { loop {} }
-
-fn main() {
-    do_fold(bot(), ()); //~ ERROR `(): InOut<_>` is not satisfied
-}