Skip to content

Miri: avoid tracking current location three times#72879

Merged
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:miri-tctx-at
Jun 15, 2020
Merged

Miri: avoid tracking current location three times#72879
bors merged 7 commits into
rust-lang:masterfrom
RalfJung:miri-tctx-at

keep root_span and tcx together

2210abe
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs