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. Comments
  • 2.4. Identifiers
  • 2.5. Keywords
  • 2.6. Literals
  • 2.7. Boolean Literals
  • 2.8. Byte Literals
  • 2.9. Character Literals
  • 2.10. String Literals
  • 2.11. Numerical Literals
• 3. Modules
  • 3.1. Statements
• 4. Entities and Resolution
  • 4.1. Visibility
• 5. Definitions
  • 5.1. Function Definitions
  • 5.2. Struct Definitions
  • 5.3. Enum Definitions
  • 5.4. Implicit Function Definitions
  • 5.5. Traits
  • 5.6. Module Definitions
  • 5.7. Implementation Definitions
  • 5.8. Definition Parameters
• 6. Expressions
  • 6.1. Declaration
  • 6.2. Literal Expressions
  • 6.3. Array Expressions
  • 6.4. Variable Expressions
  • 6.5. Unary Expressions
  • 6.6. Binary Expressions
  • 6.7. Assignment Expressions
  • 6.8. Index Expressions
  • 6.9. Access Expressions
  • 6.10. Call Expressions
  • 6.11. Implicit Call Expressions
  • 6.12. Tuple Expressions
  • 6.13. Control Flow Expressions
  • 6.14. Block Expressions
  • 6.15. Loop Expressions
  • 6.16. If Expressions
  • 6.17. Match Expressions
  • 6.18. Imports
  • 6.19. Range Expressions
  • 6.20. Types in Expressions
  • 6.21. Macro Invocations as Expressions
• 7. Types
  • 7.1. Named Types
  • 7.2. Reference Types
  • 7.3. Access Types
  • 7.4. Tuple Types
  • 7.5. Function Types
  • 7.6. Never Types
  • 7.7. Array Types
  • 7.8. Parenthesised Types
  • 7.9. Equality Types
  • 7.10. Union of Types
  • 7.11. Implicit Function Types
  • 7.12. Implicit Function Call
  • 7.13. Expressions in Types
  • 7.14. Macro Invocations as Types
• 8. Patterns
  • 8.1. Bind Patterns
  • 8.2. Ignore Patterns
  • 8.3. Literal Patterns
  • 8.4. Tuple Pattern
  • 8.5. Access Patterns
  • 8.6. Array Patterns
  • 8.7. Parenthesised Patterns
  • 8.8. Constructor Patterns
  • 8.9. Range Patterns
  • 8.10. Guarded Patterns
  • 8.11. Module Patterns
  • 8.12. Spread Patterns
  • 8.13. Macro Invocations as Patterns
• 9. Values
• 10. Macros
  • 10.1. Macro Invocation
  • 10.2. Token Macro Invocation
• 11. Attributes
  • 11.1. Built-in Attributes
• 12. Layouts
• 13. Memory
• 14. Concurrency
• 15. Unsafety
• 16. FFI

Appendices:

• A. Glossary