[rustc.git] / src / test / ui / lifetimes / re-empty-in-error.stderr

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
Commit	Line	Data
923072b8 FG	1	error: higher-ranked lifetime error
	2	--> $DIR/re-empty-in-error.rs:7:5
	3	\|
	4	LL \| foo(&10);
	5	\| ^^^^^^^^
	6	\|
2b03887a	7	= note: could not prove `for<'b> &'b (): 'a`
923072b8 FG	8
	9	error: aborting due to previous error
	10