34eb73c72d
And a couple of other naming tweaks Related to https://github.com/rust-lang/rust/issues/48054
For more information about how rustc works, see the rustc dev guide.
34eb73c72d
34eb73c72d