error: compilation successful
  --> $DIR/regions-outlives-projection-trait-def.rs:31:1
   |
LL | fn main() { } //~ ERROR compilation successful
   | ^^^^^^^^^^^^^

error: aborting due to previous error