1 error[E0277]: the trait bound `(): MyTrait` is not satisfied
2 --> $DIR/reservation-impl-no-use.rs:10:26
4 LL | trait MyTrait { fn foo(&self); }
5 | -------------- required by `MyTrait::foo`
7 LL | <() as MyTrait>::foo(&());
8 | ^^^ the trait `MyTrait` is not implemented for `()`
10 = help: the following implementations were found:
13 error: aborting due to previous error
15 For more information about this error, try `rustc --explain E0277`.