Rollup merge of #137145 - RalfJung:minicore, r=jieyouxu

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

See rust-lang/rust#131485 for context. These are some tests I worked on in the past so I figured I'd see if `minicore` works for them. :)

Author: matthiaskrgr