Rollup of 6 pull requests#79672

Closed

GuillaumeGomez wants to merge 15 commits intorust-lang:masterfrom

GuillaumeGomez:rollup-lgc9an6

Commits on Dec 1, 2020

Fix SGX CI
Jethro Beekman
committed
Use more std:: instead of core:: in docs for consistency, add more intra doc links
poliorcetics
committed

Commits on Dec 2, 2020

Commits on Dec 3, 2020