What if only one allocation needs to be borrow checked in a managed program?