Co-authored-by: Ralf Jung <post@ralfj.de>
For more information about how rustc works, see the rustc dev guide.
