Co-authored-by: Joshua Nelson <joshua@yottadb.com>
For more information about how rustc works, see the rustc dev guide.