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 directives
    • Minicore
  • Ecosystem testing
    • Crater
    • Fuchsia
    • Rust for Linux
  • Codegen backend testing
    • Cranelift codegen backend
    • GCC codegen backend
  • Performance testing
  • Suggest tests tool
  • Misc info
• Debugging the compiler
  • Using the tracing/logging instrumentation
• Profiling the compiler
  • with the linux perf tool
  • with Windows Performance Analyzer
  • with the Rust benchmark suite
• 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
  • Emscripten
  • Fuchsia
  • LLVM
  • RISC-V
  • Rust for Linux
  • WASI
  • WebAssembly
  • Windows
• Licenses
• Editions

Bootstrapping

• Prologue
• What Bootstrapping does
• How Bootstrap does it
• Writing tools in Bootstrap
• Debugging bootstrap
• cfg(bootstrap) in dependencies

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
  • The rustdoc test suite
• Autodiff internals
  • Installation
  • How to debug
  • Autodiff flags
  • Current limitations

Source Code Representation

• Prologue
• 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
• Inline assembly

Supporting Infrastructure

• Command-line arguments
• rustc_driver and rustc_interface
  • Example: Type checking
  • Example: Getting diagnostics
  • Remarks on perma-unstable features
• Errors and lints
  • Diagnostic and subdiagnostic structs
  • Translation
  • LintStore
  • Error codes
  • Diagnostic items
  • ErrorGuaranteed

Analysis

• Prologue
• Generic parameter definitions
  • EarlyBinder and instantiating parameters
• Binders and Higher ranked regions
  • Instantiating binders
• Early vs Late bound parameters
• The ty module: representing types
  • ADTs and Generic Arguments
  • Parameter types/consts/regions
• TypeFolder and TypeFoldable
• Typing/Param Envs
• 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
• Const condition 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
• Closure capture inference
• Async closures/"coroutine-closures"

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

---