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