I guess it’s the right place to ask such a question, but nobody is sure how to answer. I’ll try, but take it with a bit of salt, because I don’t have an authoritative answer either.
It is true in the sense that you can use the variable from that place on and that the variables are destroyed in the reverse order (if they have any kind of destructor). So it is at least a valuable mental model.
Is there a specific situation why you ask the question, or just because you try to understand in general what happens? If it’s the second, I think you’ll just get your own mental model of what happens over time and it won’t be any worse than any other way others look at how it behaves.
Another question is how it is implemented in the compiler. For that, I have no idea.
On the other hand, once nll lands, it’ll get more complicated, because a borrow can disappear sooner than at the end of the scope. In that sense, it’ll no longer be true, or feel like being true.