FLS¶

Contents:

• 1. General
  • 1.1. Scope
  • 1.2. Versioning
  • 1.3. Definitions
• 2. Lexical Elements
  • 2.1. Character Set
  • 2.2. Lexical Elements, Separators, and Punctuation
  • 2.3. Identifiers
  • 2.4. Literals
  • 2.5. Comments
  • 2.6. Keywords
• 3. Items
• 4. Types and Traits
  • 4.1. Types
  • 4.2. Type Classification
  • 4.3. Scalar Types
  • 4.4. Sequence Types
  • 4.5. Abstract Data Types
  • 4.6. Function Types
  • 4.7. Indirection Types
  • 4.8. Trait Types
  • 4.9. Other Types
  • 4.10. Type Aliases
  • 4.11. Representation
  • 4.12. Type Model
  • 4.13. Traits
  • 4.14. Trait and Lifetime Bounds
• 5. Patterns
  • 5.1. Refutability
  • 5.2. Identifier Patterns
  • 5.3. Literal Patterns
  • 5.4. Parenthesized Patterns
  • 5.5. Path Patterns
  • 5.6. Range Patterns
  • 5.7. Reference Patterns
  • 5.8. Rest Patterns
  • 5.9. Slice Patterns
  • 5.10. Struct Patterns
  • 5.11. Underscore Patterns
  • 5.12. Binding Modes
  • 5.13. Pattern Matching
• 6. Expressions
  • 6.1. Expression Classification
  • 6.2. Literal Expressions
  • 6.3. Path Expressions
  • 6.4. Block Expressions
  • 6.5. Operator Expressions
  • 6.6. Underscore Expressions
  • 6.7. Parenthesized Expressions
  • 6.8. Array Expressions
  • 6.9. Indexing Expressions
  • 6.10. Tuple Expressions
  • 6.11. Struct Expressions
  • 6.12. Invocation Expressions
  • 6.13. Field Access Expressions
  • 6.14. Closure Expressions
  • 6.15. Loop Expressions
  • 6.16. Range Expressions
  • 6.17. If and If Let Expressions
  • 6.18. Match Expressions
  • 6.19. Return Expressions
  • 6.20. Await Expressions
  • 6.21. Expression Precedence
  • 6.22. Capturing
  • 6.23. Arithmetic Overflow
• 7. Values
  • 7.1. Constants
  • 7.2. Statics
  • 7.3. Temporaries
  • 7.4. Variables
• 8. Statements
  • 8.1. Let Statements
  • 8.2. Expression Statements
• 9. Functions
• 10. Associated Items
• 11. Implementations
  • 11.1. Implementation Coherence
  • 11.2. Implementation Conformance
• 12. Generics
  • 12.1. Generic Parameters
  • 12.2. Where Clauses
  • 12.3. Generic Arguments
  • 12.4. Generic Conformance
• 13. Attributes
  • 13.1. Attribute Properties
  • 13.2. Built-in Attributes
• 14. Entities and Resolution
  • 14.1. Entities
  • 14.2. Visibility
  • 14.3. Paths
  • 14.4. Scopes
  • 14.5. Namespaces
  • 14.6. Preludes
  • 14.7. Use Imports
  • 14.8. Shadowing
  • 14.9. Resolution
• 15. Ownership and Destruction
  • 15.1. Ownership
  • 15.2. Initialization
  • 15.3. References
  • 15.4. Borrowing
  • 15.5. Passing Conventions
  • 15.6. Destruction
  • 15.7. Destructors
  • 15.8. Drop Scopes
  • 15.9. Drop Order
• 16. Exceptions and Errors
  • 16.1. Panic
  • 16.2. Abort
• 17. Concurrency
  • 17.1. Send and Sync
  • 17.2. Atomics
  • 17.3. Asynchronous Computation
• 18. Program Structure and Compilation
  • 18.1. Source Files
  • 18.2. Modules
  • 18.3. Crates
  • 18.4. Crate Imports
  • 18.5. Compilation Roots
  • 18.6. Conditional Compilation
  • 18.7. Program Entry Point
• 19. Unsafety
• 20. Macros
  • 20.1. Declarative Macros
  • 20.2. Procedural Macros
  • 20.3. Macro Invocation
  • 20.4. Macro Expansion
  • 20.5. Hygiene
• 21. FFI
  • 21.1. ABI
  • 21.2. External Blocks
  • 21.3. External Functions
  • 21.4. External Statics
• 22. Inline Assembly
  • 22.1. Registers
  • 22.2. Register Classes
  • 22.3. Register Arguments
  • 22.4. Assembly Instructions
  • 22.5. ABI Clobbers
  • 22.6. Assembly Options
  • 22.7. Macros: asm, global_asm, and naked_asm
  • 22.8. Label block

Appendices:

• A. Licenses
• B. Glossary
• C. List of undefined behavior
• D. Changelog
• E. FLS Background