Merge #[deprecated]
and #[rustc_deprecated]
#94635
Merged
bors merged 3 commits intorust-lang:master from jhpratt:merge-deprecated-attrsMar 10, 2022
+217-380
#[deprecated]
and #[rustc_deprecated]
#94635