“Reference Expansion” Project Goal Content

• Stability markers
  • Stability markers for work-in-progress descriptions of unstable Rust features still in development
  • Stability markers for work-in-progress descriptions of stable Rust
• Type inference
  • Divergence
    • Diverging block types
    • Diverging if statements
    • Diverging match statements
• Trait solver
  • Generic instantiation
  • Alias types
  • Trait bounds
  • Type equality
• Macro expansion
  • Existing work
  • Further work in progress
• Name resolution
  • Macros by example
  • Macro invocation name resolution
  • Note on sub namespaces
  • Derive attributes scope
• Const eval
  • Existing work
  • Further work in progress
• Concurrency
• Frontmatter