hide another #[allow] directive from a docs example#95817

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

oconnor663:doc_comment2oconnor663/rust:doc_comment2Copy head branch name to clipboard