1 files changed, 17 insertions, 0 deletions

diff --git a/src/test/ui/issues/issue-25076.stderr b/src/test/ui/issues/issue-25076.stderr
new file mode 100644
index 000000000..159cc484c
--- /dev/null
+++ b/src/test/ui/issues/issue-25076.stderr
@@ -0,0 +1,17 @@
+error[E0277]: the trait bound `(): InOut<_>` is not satisfied
+  --> $DIR/issue-25076.rs:10:20
+   |
+LL |     do_fold(bot(), ());
+   |     -------        ^^ the trait `InOut<_>` is not implemented for `()`
+   |     |
+   |     required by a bound introduced by this call
+   |
+note: required by a bound in `do_fold`
+  --> $DIR/issue-25076.rs:5:18
+   |
+LL | fn do_fold<B, F: InOut<B, Out=B>>(init: B, f: F) {}
+   |                  ^^^^^^^^^^^^^^^ required by this bound in `do_fold`
+
+error: aborting due to previous error
+
+For more information about this error, try `rustc --explain E0277`.