SUMMARY.md

Summary

Getting Started About this guide

---

Building and debugging rustc

• How to build and run the compiler
  • Quickstart
  • 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
  • Best practices
  • Compiletest
    • UI tests
    • Test headers
  • Ecosystem testing
    • Crater
    • Fuchsia
    • Rust for Linux
  • Performance testing
  • 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
  • Apple
  • ARM
  • Cleanup Crew
  • LLVM
  • RISC-V
  • Windows
  • Rust for Linux
• Licenses
• Editions

Bootstrapping

• Prologue
• What Bootstrapping does
• How Bootstrap does it

High-level Compiler Architecture

• Prologue
• Overview of the compiler
• The compiler source code
• 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
  • Search

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
  • Attributes
  • #[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 queries and passes: getting the MIR
• Identifiers in the Compiler
• Closure expansion
• Inline assembly

Analysis

• Prologue
• Generic parameter definitions
  • What is ty::Generics
  • Early vs Late bound parameters
    • Implementation nuances of early/late bound parameters
    • Interactions with turbofishing
• The ty module: representing types
  • ADTs and Generic Arguments
  • Parameter types/consts/regions
  • EarlyBinder and instantiating parameters
  • Binder and Higher ranked regions
  • Instantiating binders
  • Constants in the type system
• TypeFolder and TypeFoldable
• Parameter Environments
  • What is it?
  • How are ParamEnv's constructed internally
  • Which ParamEnv do I use?
• Type inference
• Trait solving
  • Higher-ranked trait bounds
  • Caching subtleties
  • Implied bounds
  • 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
    • Caching
    • Proof trees
    • Normalization
    • Opaque types
    • Significant changes and quirks
  • Unsize and CoerceUnsized traits
• Type checking
  • Method Lookup
  • Variance
  • Coherence Checking
  • Opaque Types
    • Inference details
    • Return Position Impl Trait In Trait
    • Region inference restrictions
• 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
• Errors and Lints
  • Diagnostic and subdiagnostic structs
  • Translation
  • LintStore
  • Error codes
  • Diagnostic items
  • ErrorGuaranteed

MIR to Binaries

• Prologue
• MIR optimizations
• Debugging MIR
• 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

---