Optional too optional, apparently#72557

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

workingjubilee:patch-3workingjubilee/rustc:patch-3Copy head branch name to clipboard