1 error[E0277]: the trait bound `(): Bar` is not satisfied
2 --> $DIR/impl-trait-return-trailing-semicolon.rs:9:13
4 LL | fn foo() -> impl Bar {
5 | ^^^^^^^^ the trait `Bar` is not implemented for `()`
8 | -- help: remove this semicolon
10 | this expression has type `{integer}`, which implements `Bar`
12 error[E0277]: the trait bound `(): Bar` is not satisfied
13 --> $DIR/impl-trait-return-trailing-semicolon.rs:15:13
15 LL | fn bar() -> impl Bar {
16 | ^^^^^^^^ the trait `Bar` is not implemented for `()`
18 = help: the following other types implement trait `Bar`:
22 error: aborting due to 2 previous errors
24 For more information about this error, try `rustc --explain E0277`.