Rollup of 7 pull requests#83758

Closed

Dylan-DPC-zz wants to merge 20 commits into

rust-lang:masterfrom

Dylan-DPC-zz:rollup-n3yzlon

Commits on Mar 15, 2021

Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]`
camelid
committed

Commits on Mar 16, 2021

Commits on Mar 26, 2021

Break when there is a mismatch in the type count
MidasLamb
committed

Commits on Mar 30, 2021

Commits on Apr 1, 2021