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