[gress]

Actually that's not entirely true. Arc inserts the calls first, but then does an elimination phase that can identify lifetimes beyond method boundaries and remove unnecessary calls.

It's not particularly complex, but the architecture is there for further enhancement of this phase as they build out the static analyzer.

[pcwalton]

That's nowhere near what the borrow check does. The borrow check is based on reasoning about ownership and inherited mutability, neither of which apply to Objective-C.