A new way to think about borrow checking (in reverse)

Automated excerpt

When we USE a variable, add it to the pending list. Ensure no variables in pending are invalidated. Ensure no variables in pending are invalidated. pending is empty, so nothing happens.

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.