This reverts commit 8176ab8bc1.
8176ab8bc1
For more information about how rustc works, see the rustc dev guide.