error: compilation successful
  --> $DIR/higher-ranked-projection.rs:34:1
   |
LL | / fn main() { //[good]~ ERROR compilation successful
LL | |     foo(());
LL | |     //[bad]~^ ERROR type mismatch resolving `for<'a> <&'a _ as Mirror>::Image == _`
LL | |     //[bad]~| expected bound lifetime parameter 'a, found concrete lifetime
LL | | }
   | |_^

error: aborting due to previous error