It is very interesting if you have properly verified invariants and you can guarantee (with manual checking) that your code is correct. It's an order of magnitude harder than just letting the borrow checker do its job, but it's entirely possible (just like in any other language).
You most certainly can’t unless your code is unsafe and in that case the comparison isn’t so interesting anymore.