SUMMARY.md

Summary

Getting Started About this guide

---

Building and debugging rustc

• How to build and run the compiler
  • Prerequisites
  • Suggested Workflows
  • Distribution artifacts
  • Building Documentation
  • Rustdoc overview
  • Adding a new target
  • Optimized build
• Testing the compiler
  • Running tests
    • Testing with Docker
    • Testing with CI
  • Adding new tests
  • Compiletest
    • UI tests
    • Test headers
  • Performance testing
  • Crater
  • Suggest tests tool
• Debugging the compiler
  • Using the tracing/logging instrumentation
• Profiling the compiler
  • with the linux perf tool
  • with Windows Performance Analyzer
• crates.io Dependencies

Contributing to Rust

• Contribution Procedures
• About the compiler team
• Using Git
• Mastering @rustbot
• Walkthrough: a typical contribution
• Implementing new language features
• Stability attributes
• Stabilizing Features
• Feature Gates
• Coding conventions
• Procedures for Breaking Changes
• Using external repositories
• Fuzzing
• Notification groups
  • ARM
  • Cleanup Crew
  • LLVM
  • RISC-V
  • Windows
• Licenses
• Editions

High-level Compiler Architecture

• Prologue
• Overview of the compiler
• The compiler source code
• Bootstrapping
• Queries: demand-driven compilation
  • The Query Evaluation Model in Detail
  • Incremental compilation
  • Incremental compilation In Detail
  • Debugging and Testing
  • Salsa
• Memory Management in Rustc
• Serialization in Rustc
• Parallel Compilation
• Rustdoc internals

Source Code Representation

• Prologue
• Command-line arguments
• rustc_driver and rustc_interface
  • Example: Type checking
  • Example: Getting diagnostics
• Syntax and the AST
  • Lexing and Parsing
  • Macro expansion
  • Name resolution
  • #[test] Implementation
  • Panic Implementation
  • AST Validation
  • Feature Gate Checking
  • Lang Items
• The HIR (High-level IR)
  • Lowering AST to HIR
  • Debugging
• The THIR (Typed High-level IR)
• The MIR (Mid-level IR)
  • MIR construction
  • MIR visitor and traversal
  • MIR passes: getting the MIR for a function
• Identifiers in the compiler
• Closure expansion
• Inline assembly

Analysis

• Prologue
• The ty module: representing types
  • Generics and substitutions
  • TypeFolder and TypeFoldable
  • Generic arguments
  • Constants in the type system
  • Bound vars and Parameters
• Type inference
• Trait solving
  • Early and Late Bound Parameter Definitions
    • What are early and late bound parameters
    • Interactions with turbofishing
  • Higher-ranked trait bounds
  • Caching subtleties
  • Specialization
  • Chalk-based trait solving
    • Lowering to logic
    • Goals and clauses
    • Canonical queries
    • Canonicalization
  • Next-gen trait solving
    • Invariants of the type system
    • The solver
    • Canonicalization
    • Coinduction
    • Proof trees
    • Normalization
  • Unsize and CoerceUnsized traits
• Type checking
  • Method Lookup
  • Variance
  • Opaque Types
    • Inference details
    • Return Position Impl Trait In Trait
• Effect checking
• Pattern and Exhaustiveness Checking
• Unsafety Checking
• MIR dataflow
• Drop elaboration
• The borrow checker
  • Tracking moves and initialization
    • Move paths
  • MIR type checker
  • Drop check
  • Region inference
    • Constraint propagation
    • Lifetime parameters
    • Member constraints
    • Placeholders and universes
    • Closure constraints
    • Error reporting
  • Two-phase-borrows
• Parameter Environments
• Errors and Lints
  • Diagnostic and subdiagnostic structs
  • Translation
  • LintStore
  • Error codes
  • Diagnostic items
  • ErrorGuaranteed

MIR to Binaries

• Prologue
• MIR optimizations
• Debugging
• Constant evaluation
  • Interpreter
• Monomorphization
• Lowering MIR
• Code Generation
  • Updating LLVM
  • Debugging LLVM
  • Backend Agnostic Codegen
  • Implicit Caller Location
• Libraries and Metadata
• Profile-guided Optimization
• LLVM Source-Based Code Coverage
• Sanitizers Support
• Debugging support in the Rust compiler

---

Appendix A: Background topics Appendix B: Glossary Appendix C: Code Index Appendix D: Compiler Lecture Series Appendix E: Bibliography

Appendix Z: HumorRust

---