I don't believe the source was talking about lifetimes but rather creating clever types regarding ownership. Some "programmer" must still construct said types.

I don't believe the source was talking about lifetimes but rather creating clever types regarding ownership. Some "programmer" must still construct said types. I would agree that lifetimes are taken out of "the programmer's" hands in Rust for all "programmers" who are not working on the Rust lifetime compiler :D