72cb094611
Miri/interpreter debugging tweaks Some changes I made to make debugging Miri with trace logging less terrible. r? ``@oli-obk``
For more information about how rustc works, see the rustc dev guide.
72cb094611