Rollup of 14 pull requests#74375

Merged

bors merged 31 commits intorust-lang:masterfrom

Manishearth:rollup-10vbpdh

Jul 16, 2020

Commits on Jul 1, 2020

Clean up E0715 explanation
GuillaumeGomez
committed

Commits on Jul 2, 2020

Clean up E0716 explanation
GuillaumeGomez
committed

Commits on Jul 7, 2020

Remove `Compiler::compile()`.
nnethercote
committed

Commits on Jul 9, 2020

Add option to collapse automatically implementors
GuillaumeGomez
committed

Commits on Jul 10, 2020

Add margin after doc search results
GuillaumeGomez
committed

Commits on Jul 11, 2020

RISC-V GNU/Linux as host platform
msizanoen1
committed

Commits on Jul 13, 2020

Update cross-compilation README
Martin Sirringhaus
committed
Fix typo
Martin Sirringhaus
committed
Move all code-snippets to /tmp/ as basedir
Martin Sirringhaus
committed

Commits on Jul 14, 2020

Commits on Jul 15, 2020