Will this improve borrow checking to correctly understand member borrowing of a struct?

Like:

    fn borrow_field1(&mut self) -> &Foo { &mut self.field1 }
    fn borrow_field2(&mut self) -> &Bar { &mut self.field2 }

    fn do_something(&mut self) {
      let field1 = self.borrow_field1();
      let field2 = self.borrow_field2();
    }