1error[E0308]: mismatched types 2 --> $DIR/higher-ranked-projection.rs:25:5 3 | 4LL | foo(()); 5 | ^^^^^^^ one type is more general than the other 6 | 7 = note: expected reference `&'a ()` 8 found reference `&()` 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