This reverts commit 503e129328, reversing changes made to 0e7f91b75e.
503e129328
0e7f91b75e
gen
For more information about how rustc works, see the rustc dev guide.