I think there's enough data that even the best human programmers and lifetime checkers aren't able to track lifetimes over a 10 million line code base. That's

I think there's enough data that even the best human programmers and lifetime checkers aren't able to track lifetimes over a 10 million line code base. That's why we're stuck with lifetimes as function contracts.