This reverts commit ddf2cc7f8e, reversing changes made to 937f629535.
ddf2cc7f8e
937f629535
rustc_ty_library
For more information about how rustc works, see the rustc dev guide.