Second attempt to fix #23713 based on follow-up comments in #23791.#23862

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

jviereck:fix_23713_v2jviereck/rust:fix_23713_v2Copy head branch name to clipboard