I thought it was the other way, all being effectively restrict, with the hazard removed by the borrow checker. In any case, I want to be able to have both beha

I thought it was the other way, all being effectively restrict, with the hazard removed by the borrow checker. In any case, I want to be able to have both behaviors.