Auto merge of #77642 - pietroalbini:stable-next, r=pietroalbini

Rust 1.47.0 stable release, take 2

This PR adds a workaround for https://github.com/rust-lang/rust/issues/76980 to the existing stable 1.47.0 branch. I will invalidate the dev artifacts and issue another pre-release once the PR is merged, to let people test this change.

r? `@ghost`