> You couldn't write explicit lifetimes before NLL, either. Well, no, but you can write scopes explicitly, and all your lifetimes correspond to scopes, by defi

> You couldn't write explicit lifetimes before NLL, either. Well, no, but you can write scopes explicitly, and all your lifetimes correspond to scopes, by definition. > NLL (and even moreso Polonius) brought the borrow checker closer to how programmers reason about lifetimes in their head than it was before, empirically speaking. The thing you described was a worry at the time but it never turned out to be accurate. It worked for how some programmers reason about lifetimes in their head. Not for me. Maybe I'm the minority.