some extra test cases to cover in the borrow checker.