src/test/ui/lifetimes/re-empty-in-error.stderr


1
2
3
4
5
6
7
8
9
10

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

error: aborting due to previous error