original ) (raw )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. Learn about flagship goals.
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
Finish the libtest json output experiment Ed Page cargo , libs-api , testing-devex
Implement Open API Namespace Support cargo , compiler
Implement restrictions, prepare for stabilization Jacob Pratt compiler , lang , spec
Improve state machine codegen Folkert de Vries compiler , lang
Instrument the Rust standard library with safety contracts Celina G. Val compiler , libs
Making compiletest more maintainable: reworking directive handling Jieyou Xu bootstrap , compiler , rustdoc
Metrics Initiative Jane Lusby compiler , infra
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
Prepare const traits for stabilization Oliver Scherer compiler , lang , types
Promoting Parallel Front End Sparrow Li compiler
Prototype a new set of Cargo "plumbing" commands cargo
Publish first rust-lang-owned release of "FLS" Joel Marcey bootstrap , spec
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 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 , release
Stabilize cargo-script Ed Page cargo , compiler , lang , spec
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
