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