Enabling the next iteration of the borrow checker on nightly