adjust for earlier init checking in the core engine#2455

bors merged 2 commits intorust-lang:masterrust-lang/miri:masterfrom

RalfJung:scalar-always-initRalfJung/miri:scalar-always-initCopy head branch name to clipboard