error: higher-ranked lifetime error --> $DIR/re-empty-in-error.rs:7:5 | LL | foo(&10); | ^^^^^^^^ | = note: could not prove `for<'b, 'r> &'b (): 'r` error: aborting due to previous error