Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>
For more information about how rustc works, see the rustc dev guide.
