interpret: better control over whether we read data with provenance#97684

Merged

bors merged 2 commits intorust-lang:masterfrom RalfJung:better-provenance-control

Jun 6, 2022

+494-404

Commits on Jun 5, 2022

interpret: better control over whether we read data with provenance, and implicit provenance stripping where possible
RalfJung
committed
reduce code duplication
RalfJung
committed