Generalized Partial Borrows

The connection would be interesting to hear in more detail.

Reading the initial design doc in the issue linked above, it sounds like unsafe_binders makes a clear safety boundary for an unsafe lifetime. Since you wouldn't be able to do anything with a '! nill lifetime in OP, I wonder what trickiness you'd need to get into to cause an issue.