Может тебе не стоить себя так мучать и просто перестать читать про раст?))

Неявно лафтаймы присутствуют в любом языке с ручным управлением памятью - если какой-то объект А владеет другим объектом В, то будет крайне неприятно если ты дропнешь объект В, пока А еще жив. Т.е. время жизни объекта В должно быть не меньше А.

Тут просто это сделали явно. Более того, это нужно отнюдь не всегда, потому что есть non-lexical lifetimes, которые вычисляются прямо из control-flow graph.