SUMMARY.md

Summary

• About this guide
• How to build the compiler and run what you built
• Coding conventions
• The compiler testing framework
  • Running tests
  • Adding new tests
  • Using compiletest + commands to control test execution
• Debugging the Compiler
• Walkthrough: a typical contribution
• High-level overview of the compiler source
• The Rustc Driver
  • Rustdoc
• Queries: demand-driven compilation
  • Incremental compilation
  • Debugging and Testing
• The parser
• Macro expansion
• Name resolution
• The HIR (High-level IR)
• The ty module: representing types
• Type inference
• Trait solving (old-style)
  • Higher-ranked trait bounds
  • Caching subtleties
  • Specialization
• Trait solving (new-style)
  • Lowering to logic
    • Goals and clauses
    • Equality and associated types
    • Implied bounds
    • Region constraints
  • Canonical queries
    • Canonicalization
  • Lowering rules
    • The lowering module in rustc
  • Well-formedness checking
  • The SLG solver
  • An Overview of Chalk
  • Bibliography
• Type checking
  • Method Lookup
  • Variance
• The MIR (Mid-level IR)
  • MIR construction
  • MIR visitor and traversal
  • MIR passes: getting the MIR for a function
  • MIR borrowck
    • MIR-based region checking (NLL)
  • MIR optimizations
• Constant evaluation
  • miri const evaluator
• Parameter Environments
• Generating LLVM IR
• Emitting Diagnostics

---

• Appendix A: Stupid Stats
• Appendix B: Background material
• Appendix C: Glossary
• Appendix D: Code Index