Actually use the `#[do_not_recommend]` attribute if present#124708

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

weiznich:implement_do_not_recommendweiznich/rust:implement_do_not_recommendCopy head branch name to clipboard