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. Allocators 1.0
    4. Allow turbofishing late bound vars
    5. Arbitrary Self Types
    6. Architectural groundwork for expansion-time evaluation
    7. Assumptions on Binders
    8. Async Future Memory Optimisation
    9. Async statemachine optimisation
    10. BorrowSanitizer
    11. build-std
    12. C interop: `Complex<T>`
    13. C interop: `f80`, `f128` and `c_longdouble`
    14. C++/Rust Interop Problem Space Mapping
    15. Cargo cross workspace cache
    16. Const Traits
    17. Continue Experimentation with Pin Ergonomics
    18. Continue resolving `cargo-semver-checks` blockers for merging into cargo
    19. Contracts: primitive ownership assertions
    20. Control over Drop semantics
    21. Declarative (`macro_rules!`) macro improvements
    22. Dictionary Passing Style Experiment
    23. End-to-End Executable Rust Specification
    24. Ergonomic ref-counting
    25. Establish a Spot for Safety-Critical Lints in Clippy
    26. Establish a User Research Team
    27. Evolving the standard library API across editions
    28. Expanding a-mir-formality to work better as a Rust type system spec
    29. Experimental language specification
    30. Explicit tail calls & `loop_match`
    31. Field Projections
    32. Finish the libtest json output experiment
    33. Full Const Generics
    34. High-Level ML optimizations
    35. Immobile types and guaranteed destructors
    36. Implement and Maintain MC/DC Coverage Support
    37. Implement Open Rust Namespace Support
    38. Implement Supertrait `auto impl`
    39. Implement Verifiable Mirroring Prototype
    40. Improve `rustc_codegen_cranelift` performance
    41. Improving Unsafe Code Documentation in the Rust Standard Library
    42. In-place initialization
    43. Incremental Systems Rethought
    44. Interactive cargo-tree: TUI for Cargo's dependency graph visualization
    45. libc 1.0 release readiness
    46. Library Trait Evolution Experiment
    47. MIR move elimination
    48. Native async fn dynamic dispatch in traits
    49. Next-Gen Region Constraints
    50. Nightly support for function overloading in FFI bindings
    51. Normative Documentation for Sound `unsafe` Rust
    52. Open Enums
    53. Polymorphic code generation experiment
    54. Prepare TAIT + RTN for stabilization
    55. Process-Safe Rustup Toolchain Operations
    56. Promoting Parallel Front End
    57. Prototype a new set of Cargo "plumbing" commands
    58. Publish first version of `rustc_public` on crates.io
    59. Reborrow traits
    60. Redesigning `super let`: Flexible Temporary Lifetime Extension
    61. reflection and comptime
    62. Reintroduce a FCW system to borrowck
    63. Sized Hierarchy and Scalable Vectors
    64. Specialization: minimal implementation
    65. Stabilize and model Polonius Alpha
    66. Stabilize Cargo SBOM precursor
    67. Stabilize Cargo's linting system
    68. Stabilize cargo-script
    69. Stabilize FLS Release Cadence
    70. Stabilize MemorySanitizer and ThreadSanitizer Support
    71. Stabilize never type (`!`)
    72. Stabilize public/private dependencies
    73. Stabilize Rust for Linux compiler features
    74. Stabilize the next-generation trait solver
    75. Stabilize the Try trait
    76. Stabilize Unsafe Fields
    77. Stabilizing `f16`
    78. Type System Documentation
    79. View types experiment
    80. 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. September Blog Post
    2. August Blog Post
    3. July Blog Post
    4. June Blog Post
    5. May Blog Post
    6. April Blog Post
    7. March Blog Post
    8. February Blog Post
    9. January Blog Post
    10. December Blog Post
    11. November Blog Post
    12. October Blog Post
    13. September Blog Post
    14. bootstrap Team Reports
      ❱
      1. Recent updates
    15. cargo Team Reports
      ❱
      1. Recent updates
    16. compiler Team Reports
      ❱
      1. Recent updates
    17. crates-io Team Reports
      ❱
      1. Recent updates
    18. infra Team Reports
      ❱
      1. Recent updates
    19. lang Team Reports
      ❱
      1. Recent updates
    20. lang-docs Team Reports
      ❱
      1. Recent updates
    21. libs Team Reports
      ❱
      1. Recent updates
    22. opsem Team Reports
      ❱
      1. Recent updates
    23. rustdoc Team Reports
      ❱
      1. Recent updates
    24. spec Team Reports
      ❱
      1. Recent updates
    25. types Team Reports
      ❱
      1. Recent updates
  18. 📖 Learn about
  19. Goal format
  20. Goal motivations
  21. Roadmaps
  22. Invited goals
  23. 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