1error[E0308]: mismatched types
2  --> $DIR/higher-ranked-projection.rs:25:5
3   |
4LL |     foo(());
5   |     ^^^ lifetime mismatch
6   |
7   = note: expected reference `&'a ()`
8                   found type `&()`
9note: the lifetime requirement is introduced here
10  --> $DIR/higher-ranked-projection.rs:15:33
11   |
12LL |     where for<'a> &'a T: Mirror<Image=U>
13   |                                 ^^^^^^^
14
15error: aborting due to previous error
16
17For more information about this error, try `rustc --explain E0308`.
18