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

bors merged 1 commit into

rust-lang:masterrust-lang/rust:masterfrom

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