Comment by WirelessGigabit

It's weird to see lifetime correlations expressed as

    &'a &'b

and not with

    where 'a: 'b

I suppose I don't understand enough of how the first is different from the second one, and how it impacts this issue.