diff options
Diffstat (limited to '')
-rw-r--r-- | src/test/ui/issues/issue-25076.stderr | 17 |
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`. |