1. 👋 Introduction
  3. ⏳ 2026 goal process
  4. Overview
  5. Highlights
  6. Looking to contribute?
  7. Looking to fund?
  8. Roadmaps
    ❱
    1. Beyond the `&`
    2. Binary size reduction
    3. Constify all the things
    4. Fast Builds
    5. Just add async
    6. Project Zero
    7. Rust for Linux
    8. Safety-Critical Rust
    9. The Borrow Checker Within
  9. Goals
    ❱
    1. `f16b` Primitive Type
    2. AArch64 Pointer Authentication using aarch64-unknown-linux-pauthtest target on Linux ELF platforms
    3. Allow turbofishing late bound vars
    4. Arbitrary Self Types
    5. Architectural groundwork for expansion-time evaluation
    6. Assumptions on Binders
    7. Async Future Memory Optimisation
    8. Async statemachine optimisation
    9. BorrowSanitizer
    10. build-std
    11. C interop: `f80`, `f128` and `c_longdouble`
    12. C++/Rust Interop Problem Space Mapping
    13. Cargo cross workspace cache
    14. Const Traits
    15. Continue Experimentation with Pin Ergonomics
    16. Continue resolving `cargo-semver-checks` blockers for merging into cargo
    17. Contracts: primitive ownership assertions
    18. Control over Drop semantics
    19. Declarative (`macro_rules!`) macro improvements
    20. Dictionary Passing Style Experiment
    21. End-to-End Executable Rust Specification
    22. Ergonomic ref-counting
    23. Establish a Spot for Safety-Critical Lints in Clippy
    24. Establish a User Research Team
    25. Evolving the standard library API across editions
    26. Expanding a-mir-formality to work better as a Rust type system spec
    27. Experimental language specification
    28. Explicit tail calls & `loop_match`
    29. Field Projections
    30. Finish the libtest json output experiment
    31. Full Const Generics
    32. High-Level ML optimizations
    33. Immobile types and guaranteed destructors
    34. Implement and Maintain MC/DC Coverage Support
    35. Implement Open Rust Namespace Support
    36. Implement Supertrait `auto impl`
    37. Implement Verifiable Mirroring Prototype
    38. Improve `rustc_codegen_cranelift` performance
    39. Improving Unsafe Code Documentation in the Rust Standard Library
    40. In-place initialization
    41. Incremental Systems Rethought
    42. Interactive cargo-tree: TUI for Cargo's dependency graph visualization
    43. libc 1.0 release readiness
    44. Library Trait Evolution Experiment
    45. MIR move elimination
    46. Native async fn dynamic dispatch in traits
    47. Nightly support for function overloading in FFI bindings
    48. Normative Documentation for Sound `unsafe` Rust
    49. Open Enums
    50. Polymorphic code generation experiment
    51. Prepare TAIT + RTN for stabilization
    52. Process-Safe Rustup Toolchain Operations
    53. Promoting Parallel Front End
    54. Prototype a new set of Cargo "plumbing" commands
    55. Reborrow traits
    56. Redesigning `super let`: Flexible Temporary Lifetime Extension
    57. reflection and comptime
    58. Reintroduce a FCW system to borrowck
    59. Sized Hierarchy and Scalable Vectors
    60. Specialization: minimal implementation
    61. Stabilize and model Polonius Alpha
    62. Stabilize Cargo SBOM precursor
    63. Stabilize Cargo's linting system
    64. Stabilize cargo-script
    65. Stabilize FLS Release Cadence
    66. Stabilize MemorySanitizer and ThreadSanitizer Support
    67. Stabilize never type (`!`)
    68. Stabilize public/private dependencies
    69. Stabilize Rust for Linux compiler features
    70. Stabilize the next-generation trait solver
    71. Stabilize the Try trait
    72. Stabilize Unsafe Fields
    73. Stabilizing `f16`
    74. Type System Documentation
    75. View types experiment
    76. Wasm Components
  10. Frequently asked questions
  12. ⚙️ 2025H2 goal process
  13. Overview
  14. Goals
    ❱
    1. Add a team charter for rustdoc team
    2. Borrow checking in a-mir-formality
    3. build-std
    4. C++/Rust Interop Problem Space Mapping
    5. Comprehensive niche checks for Rust
    6. Const Generics
    7. Continue Experimentation with Pin Ergonomics
    8. Continue resolving `cargo-semver-checks` blockers for merging into cargo
    9. Design a language feature to solve Field Projections
    10. Develop the capabilities to keep the FLS up to date
    11. Emit Retags in Codegen
    12. Ergonomic ref-counting: RFC decision and preview
    13. Evolving trait hierarchies
    14. Expand the Rust Reference to specify more aspects of the Rust language
    15. Finish the libtest json output experiment
    16. Finish the std::offload module
    17. Getting Rust for Linux into stable Rust: compiler features
    18. Getting Rust for Linux into stable Rust: language features
    19. Implement Open API Namespace Support
    20. In-place initialization
    21. MIR move elimination
    22. Next-generation trait solver
    23. Production-ready cranelift backend
    24. Promoting Parallel Front End
    25. Prototype a new set of Cargo "plumbing" commands
    26. Prototype Cargo build analysis
    27. Reborrow traits
    28. reflection and comptime
    29. Relink don't Rebuild
    30. Rework Cargo Build Dir Layout
    31. Run more tests for GCC backend in the Rust's CI
    32. Rust Stabilization of MemorySanitizer and ThreadSanitizer Support
    33. Rust Vision Document
    34. rustc-perf improvements
    35. Stabilizable Polonius support on nightly
    36. Stabilize cargo-script
    37. Stabilize public/private dependencies
    38. Stabilize rustdoc `doc_cfg` feature
    39. SVE and SME on AArch64
    40. Type System Documentation
    41. Unsafe Fields
  15. Goals not accepted
  16. Reports
    ❱
    1. August Blog Post
    2. July Blog Post
    3. June Blog Post
    4. May Blog Post
    5. April Blog Post
    6. March Blog Post
    7. February Blog Post
    8. January Blog Post
    9. December Blog Post
    10. November Blog Post
    11. October Blog Post
    12. September Blog Post
    13. bootstrap Team Reports
      ❱
      1. Recent updates
    14. cargo Team Reports
      ❱
      1. Recent updates
    15. compiler Team Reports
      ❱
      1. Recent updates
    16. crates-io Team Reports
      ❱
      1. Recent updates
    17. infra Team Reports
      ❱
      1. Recent updates
    18. lang Team Reports
      ❱
      1. Recent updates
    19. lang-docs Team Reports
      ❱
      1. Recent updates
    20. libs Team Reports
      ❱
      1. Recent updates
    21. opsem Team Reports
      ❱
      1. Recent updates
    22. rustdoc Team Reports
      ❱
      1. Recent updates
    23. spec Team Reports
      ❱
      1. Recent updates
    24. types Team Reports
      ❱
      1. Recent updates
  18. 📖 Learn about
  19. Goal format
  20. Goal motivations
  21. Roadmaps
  22. Invited goals
  23. Point of contact
  24. Team asks
  25. Task owners
  26. Design axioms
  27. RFC
  28. Archived goal lists
    ❱
    1. 2025H1
      ❱
      1. Goals
        ❱
        1. "Stabilizable" prototype for expanded const generics
        2. Bring the Async Rust experience closer to parity with sync Rust
        3. build-std
        4. Continue resolving `cargo-semver-checks` blockers for merging into cargo
        5. Declarative (`macro_rules!`) macro improvements
        6. Evaluate approaches for seamless interop between C++ and Rust
        7. Experiment with ergonomic ref-counting
        8. Expose experimental LLVM features for GPU offloading
        9. Extend pubgrub to match cargo's dependency resolution
        10. Externally Implementable Items
        11. Finish the libtest json output experiment
        12. Implement Open API Namespace Support
        13. Implement restrictions, prepare for stabilization
        14. Improve state machine codegen
        15. Instrument the Rust standard library with safety contracts
        16. Making compiletest more maintainable: reworking directive handling
        17. Metrics Initiative
        18. Model coherence in a-mir-formality
        19. Next-generation trait solver
        20. Nightly support for ergonomic SIMD multiversioning
        21. Null and enum-discriminant runtime checks in debug builds
        22. Optimizing Clippy & linting
        23. Organize Rust All-Hands 2025
        24. Prepare const traits for stabilization
        25. Promoting Parallel Front End
        26. Prototype a new set of Cargo "plumbing" commands
        27. Publish first rust-lang-owned release of "FLS"
        28. Publish first version of StableMIR on crates.io
        29. Research: How to achieve safety when linking separately compiled code
        30. Run the 2025H1 project goal program
        31. Rust Vision Document
        32. rustc-perf improvements
        33. Scalable Polonius support on nightly
        34. Secure quorum-based cryptographic verification and mirroring for crates.io
        35. Stabilize cargo-script
        36. Stabilize public/private dependencies
        37. Stabilize tooling needed by Rust for Linux
        38. SVE and SME on AArch64
        39. Unsafe Fields
        40. Use annotate-snippets for rustc diagnostic output
      2. Goals not accepted
    2. 2024H2
      ❱
      1. Goals
        ❱
        1. "Stabilizable" prototype for expanded const generics
        2. Assemble project goal slate
        3. Associated type position impl trait
        4. Begin resolving `cargo-semver-checks` blockers for merging into cargo
        5. Bring the Async Rust experience closer to parity with sync Rust
        6. Const traits
        7. Ergonomic ref-counting
        8. Explore sandboxed build scripts
        9. Expose experimental LLVM features for automatic differentiation and GPU offloading
        10. Extend pubgrub to match cargo's dependency resolution
        11. Implement "merged doctests" to save doctest time
        12. Make Rustdoc Search easier to learn
        13. Next-generation trait solver
        14. Optimizing Clippy & linting
        15. Patterns of empty types
        16. Provided reasons for yanked crates
        17. Resolve the biggest blockers to Linux building on stable Rust
        18. Rust 2024 Edition
        19. Scalable Polonius support on nightly
        20. Stabilize cargo-script
        21. Stabilize doc_cfg
        22. Stabilize parallel front end
        23. Survey tools suitability for Std safety verification
        24. Testing infra + contributors for a-mir-formality
        25. Use annotate-snippets for rustc diagnostic output
        26. User-wide build cache
      2. Goals not accepted
      3. General notes
  30. ❓ How to
  31. Propose a new goal
    ❱
    1. Template for new goals
  32. Report status on active goal
  34. 🔧 Running the goals program
  35. The goals team
  36. Running the program
    ❱
    1. Team coordination
    2. Call for proposals
    3. Preparing the RFC
    4. Merging the RFC
    5. Authoring monthly updates
    6. Sample texts
      ❱
      1. Sample: Call for Proposal blog post
      2. Sample: Text for the main README
      3. Sample: Starting RFC text
      4. Sample: Goals page
  37. Technical reference
    ❱
    1. Overall setup
    2. Mdbook plugin details
    3. cargo rpg command reference
      ❱
      1. rfc, export RFC text
      2. fcp, create the FCP merge comment
      3. issues, creating tracking issues
      4. updates, create monthly blog post summary