1. Introduction
2. 1. Notation
3. 2. Lexical structure
4. 1. 2.1. Input format
   2. 2.2. Keywords
   3. 2.3. Identifiers
   4. 2.4. Comments
   5. 2.5. Whitespace
   6. 2.6. Tokens
5. 3. Macros
6. 1. 3.1. Macros By Example
   2. 3.2. Procedural Macros
7. 4. Crates and source files
8. 5. Conditional compilation
9. 6. Items
10. 1. 6.1. Modules
    2. 6.2. Extern crates
    3. 6.3. Use declarations
    4. 6.4. Functions
    5. 6.5. Type aliases
    6. 6.6. Structs
    7. 6.7. Enumerations
    8. 6.8. Unions
    9. 6.9. Constant items
    10. 6.10. Static items
    11. 6.11. Traits
    12. 6.12. Implementations
    13. 6.13. External blocks
    14. 6.14. Generic parameters
    15. 6.15. Associated Items
11. 7. Attributes
12. 1. 7.1. Testing
    2. 7.2. Derive
    3. 7.3. Diagnostics
    4. 7.4. Code generation
    5. 7.5. Limits
    6. 7.6. Type System
    7. 7.7. Debugger
13. 8. Statements and expressions
14. 1. 8.1. Statements
    2. 8.2. Expressions
    3. 1. 8.2.1. Literal expressions
       2. 8.2.2. Path expressions
       3. 8.2.3. Block expressions
       4. 8.2.4. Operator expressions
       5. 8.2.5. Grouped expressions
       6. 8.2.6. Array and index expressions
       7. 8.2.7. Tuple and index expressions
       8. 8.2.8. Struct expressions
       9. 8.2.9. Call expressions
       10. 8.2.10. Method call expressions
       11. 8.2.11. Field access expressions
       12. 8.2.12. Closure expressions
       13. 8.2.13. Loop expressions
       14. 8.2.14. Range expressions
       15. 8.2.15. If and if let expressions
       16. 8.2.16. Match expressions
       17. 8.2.17. Return expressions
       18. 8.2.18. Await expressions
       19. 8.2.19. Underscore expressions
15. 9. Patterns
16. 10. Type system
17. 1. 10.1. Types
    2. 1. 10.1.1. Boolean type
       2. 10.1.2. Numeric types
       3. 10.1.3. Textual types
       4. 10.1.4. Never type
       5. 10.1.5. Tuple types
       6. 10.1.6. Array types
       7. 10.1.7. Slice types
       8. 10.1.8. Struct types
       9. 10.1.9. Enumerated types
       10. 10.1.10. Union types
       11. 10.1.11. Function item types
       12. 10.1.12. Closure types
       13. 10.1.13. Pointer types
       14. 10.1.14. Function pointer types
       15. 10.1.15. Trait object types
       16. 10.1.16. Impl trait type
       17. 10.1.17. Type parameters
       18. 10.1.18. Inferred type
    3. 10.2. Dynamically Sized Types
    4. 10.3. Type layout
    5. 10.4. Interior mutability
    6. 10.5. Subtyping and Variance
    7. 10.6. Trait and lifetime bounds
    8. 10.7. Type coercions
    9. 10.8. Destructors
    10. 10.9. Lifetime elision
18. 11. Special types and traits
19. 12. Names
20. 1. 12.1. Namespaces
    2. 12.2. Scopes
    3. 12.3. Preludes
    4. 12.4. Paths
    5. 12.5. Name resolution
    6. 12.6. Visibility and privacy
21. 13. Memory model
22. 1. 13.1. Memory allocation and lifetime
    2. 13.2. Variables
23. 14. Linkage
24. 15. Inline assembly
25. 16. Unsafety
26. 1. 16.1. The unsafe keyword
    2. 16.2. Behavior considered undefined
    3. 16.3. Behavior not considered unsafe
27. 17. Constant Evaluation
28. 18. Application Binary Interface
29. 19. The Rust runtime
30. 20. Appendices
31. 1. 20.1. Macro Follow-Set Ambiguity Formal Specification
    2. 20.2. Influences
    3. 20.3. Test summary
    4. 20.4. Glossary