Specification Chapter/Topics

[JoelMarcey]

• Front Matter
  • Introduction
  • Specification Scope
  • Terms and Definitions
• Source code and Rust syntax tree (graph?) - T-lang
  • Lexing/tokenization (@m-ou-se)
  • Grammar, AST
  • Crates, modules, source files
  • Macro invocations
  • Macro expansion and conditional compilation
  • Name/Path resolution of (mod-level) items
• Static semantics - mixed T-lang/T-types
  • type checking
  • associated item resolution
  • existential (impl Trait) resolution
  • borrow checking
  • unsafe checking
  • const eval - T-opsem?
  • type inference
• Dynamic Semantics - T-opsem
  • high level expression form
  • pattern matching and binding
  • dyn traits and dynamic method dispatch
  • memory layout and value representation (@chorman0773)
  • low level (MIR-like) statement form
  • memory model (borrowing; atomics)
  • ABIs and FFI linkage (@chorman0773)
• The Core library crate - T-libs-api (@pietroalbini ??)
  • builtin types' traits and methods
  • core::* items
  • alloc

[chorman0773]

I'll claim ABI and FFI linkage next.