Add a new test for borrowck field-sensitivity.