src/test/ui/associated-types/higher-ranked-projection.good.stderr

   1 error: compilation successful
   2   --> $DIR/higher-ranked-projection.rs:24:1
   3    |
   4 LL | / fn main() { //[good]~ ERROR compilation successful
   5 LL | |     foo(());
   6 LL | |     //[bad]~^ ERROR type mismatch
   7 LL | | }
   8    | |_^
   9
  10 error: aborting due to previous error
  11