Borrow-checking surprises

In the process of writing a borrow-checker I've often turned to see what rust does, and I've often been surprised and confused. My mental model of the borrow-checker turns out to be missing a lot of d...