use add-core-stubs / minicore for a few more tests#137145

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

RalfJung:minicoreRalfJung/rust:minicoreCopy head branch name to clipboard