Rollup of 6 pull requests#80055

Merged

bors merged 14 commits intorust-lang:masterfrom

GuillaumeGomez:rollup-p09mweg

Dec 15, 2020

Commits on Nov 24, 2020

Show hidden elements by default when JS is disabled
GuillaumeGomez
committed

Commits on Dec 9, 2020

Hide associated constants too when collapsing implementation
GuillaumeGomez
committed

Commits on Dec 12, 2020

Fixes reported bugs in Rust Coverage
richkadel
committed

Commits on Dec 13, 2020

Commits on Dec 14, 2020

Replace some `println!` with `tidy_error!` to simplify
JohnTitor
committed
Improve warnings on incompatible options involving -Zinstrument-coverage
richkadel
committed

Commits on Dec 15, 2020