> Consumption may not work as intended, I believe you can continue to create &mut T pointers via &mut *expr (reborrowing).

If so, it still requires explicit thought & some actual code, rather than it happening automatically/implicitly.