After a single run of miri fails with a stacked borrow failure, it is pretty hard to debug what's going on. All you get is an id of a borrow and a backtrace pretty late in the process. Since we can be deterministic, maybe we could add a -Ztrace-borrows flag that you can give a list of ids and it will print backtraces or other things whenever an id from the list is affected.