interpret: make check_mplace public#104356

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:interpret-check-mplaceRalfJung/rust:interpret-check-mplaceCopy head branch name to clipboard