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