miri: prune some atomic operation and raw pointer details from stacktrace#98674

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:miri-stacktrace-pruning

Jul 24, 2022

+75

Commits on Jul 20, 2022