Option::as_slice: fix comment#144230

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

RalfJung:option-as-slice-comment-fixRalfJung/rust:option-as-slice-comment-fixCopy head branch name to clipboard