Rollup of 1 pull requests#126160

Noratrieb wants to merge 2 commits intorust-lang:masterrust-lang/rust:masterfrom

Noratrieb:rollup-z9ww78zNoratrieb/rust:rollup-z9ww78zCopy head branch name to clipboard