This reverts commit b4def89d76, reversing changes made to 7dc1e852d4.
b4def89d76
7dc1e852d4
For more information about how rustc works, see the rustc dev guide.