Region + borrow checker support and tests for overloaded autoderef.