Rollup of 8 pull requests#129197

Closed

tgross35 wants to merge 17 commits intorust-lang:masterfrom

tgross35:rollup-dabei5b

Commits on Aug 15, 2024

tests: re-enable `dump-ice-to-disk` for Windows
jieyouxu
committed

Commits on Aug 16, 2024

mir/pretty: use `Option` instead of `Either<Once, Empty>`
cuviper
committed

Commits on Aug 17, 2024