The ownership guide goes into it briefly, but does not for example give the most important one: `foo(&a, &b, &c, ..) -> &z` is an elision of `foo<'a, 'b, 'c, ..>(&'a a, &'b b, &'c c, ..) &'a z` (output gets lifetime of first input). Not sure if there are other elisions left in the wild.