Miri: avoid tracking current location three times#72879

Merged

bors merged 7 commits intorust-lang:masterfrom RalfJung:miri-tctx-at

Jun 15, 2020

+141-123

Commits on Jun 13, 2020

Commits on Jun 14, 2020

keep root_span and tcx together
RalfJung
committed