This page lists the 40 project goals proposed for 2025h1.
Just because a goal is listed on this list does not mean the goal has been accepted.
The owner of the goal process makes the final decisions on which goals to include
and prepares an RFC to ask approval from the teams.
Flagship goals represent the goals expected to have the broadest overall impact.
These are the other proposed goals.
Invited goals. Some goals of the goals below are "invited goals", meaning that for that goal to happen we need someone to step up and serve as an owner. To find the invited goals, look for the
Goal Point of contact Team
"Stabilizable" prototype for expanded const generics Boxy lang , types Continue resolving cargo-semver-checks blockers for merging into cargo Predrag Gruevski cargo , rustdoc Declarative (macro_rules!) macro improvements Josh Triplett lang , wg-macros Evaluate approaches for seamless interop between C++ and Rust Tyler Mandry compiler , lang , libs-api Experiment with ergonomic ref-counting Santiago Pastorino lang Expose experimental LLVM features for GPU offloading Manuel Drehwald compiler , lang Extend pubgrub to match cargo's dependency resolution Jacob Finkelman cargo Externally Implementable Items Mara Bos compiler , lang Field Projections Benno Lossin compiler , lang Finish the libtest json output experiment Ed Page testing-devex Implement Open API Namespace Support cargo , compiler Implement restrictions, prepare for stabilization Jacob Pratt compiler , lang Improve state machine codegen Folkert de Vries compiler , lang Instrument the Rust standard library with safety contracts Celina G. Val compiler , libs Integration of the FLS into the Rust Project Joel Marcey release , spec Making compiletest more maintainable: reworking directive handling Jieyou Xu bootstrap , compiler , rustdoc Metrics Initiative Jane Lusby Model coherence in a-mir-formality Niko Matsakis types Next-generation trait solver lcnr types Nightly support for ergonomic SIMD multiversioning Luca Versari lang Null and enum-discriminant runtime checks in debug builds Bastian Kersting compiler , lang , opsem Optimizing Clippy & linting Alejandra González clippy Promoting Parallel Front End Sparrow Li compiler Prototype a new set of Cargo "plumbing" commands cargo Publish first version of StableMIR on crates.io Celina G. Val compiler , project-stable-mir Research: How to achieve safety when linking separately compiled code Mara Bos compiler , lang Run the 2025H1 project goal program Niko Matsakis leadership-council Rust Specification Testing Connor Horman bootstrap , compiler , lang , spec Rust Vision Document Niko Matsakis leadership-council SVE and SME on AArch64 David Wood compiler , lang , types Scalable Polonius support on nightly Rémy Rakic types Secure quorum-based cryptographic verification and mirroring for crates.io @walterhpearce cargo , crates-io , infra , leadership-council Stabilize public/private dependencies cargo , compiler Unsafe Fields Jack Wrenn compiler , lang Use annotate-snippets for rustc diagnostic output Scott Schafer compiler build-std David Wood cargo rustc-perf improvements David Wood compiler , infra
