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