Update the index of Option to make the summary more comprehensive#138957

bors merged 5 commits into

rust-lang:masterrust-lang/rust:masterfrom

Natural-selection1:update-Option-docNatural-selection1/rust:update-Option-docCopy head branch name to clipboard