Stacked borrows: whats the idea of retagging?

[hosseinnedaee]

I'm reading stacked-borrows paper.

What is the idea of retagging?
Why do we need it?

When we call a function example, does it inherit the stack borrow from it's caller?