src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout

   1 0..1: [ SharedReadWrite<TAG> ]
   2 0..1: [ SharedReadWrite<TAG> ]
   3 0..1: [ SharedReadWrite<TAG> ]
   4 0..1: [ SharedReadWrite<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> Unique<TAG> ]
   5 0..1: [ SharedReadWrite<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> Disabled<TAG> SharedReadOnly<TAG> ]
   6 0..1: [ unknown-bottom(..<TAG>) ]