(Note that if you had `field: RefCell<T>`, that'd be different (and the algorithm would do the right thing))