Rollup of 5 pull requests#83781

Merged

bors merged 11 commits intorust-lang:masterfrom

JohnTitor:rollup-1vm3dxo

Apr 2, 2021

Commits on Mar 26, 2021

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

Commits on Mar 31, 2021

Add a button to copy the "use statement"
GuillaumeGomez
committed