This page lists the 41 project goals proposed for 2025h2.
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.
Goal Point of contact Team(s) and Champion(s)
Reborrow traits Aapo Alasuutari compiler (Oliver Scherer ), lang (Tyler Mandry )build-std David Wood cargo (Eric Huss ), compiler (David Wood ), libs (Amanieu d'Antras )Stabilize cargo-script Ed Page cargo (Ed Page ), compiler , lang (Josh Triplett ), lang-docs (Josh Triplett )Ergonomic ref-counting: RFC decision and preview Niko Matsakis compiler (Santiago Pastorino ), lang (Niko Matsakis )Evolving trait hierarchies Taylor Cramer compiler , lang (Taylor Cramer ), libs-api , types (Oliver Scherer )Design a language feature to solve Field Projections Benno Lossin lang (Tyler Mandry )In-place initialization Alice Ryhl lang (Taylor Cramer )Next-generation trait solver lcnr types (lcnr )Promoting Parallel Front End Sparrow Li compiler Continue Experimentation with Pin Ergonomics Frank King compiler (Oliver Scherer ), lang (TC )Stabilizable Polonius support on nightly Rémy Rakic types (Jack Huey )Production-ready cranelift backend Folkert de Vries compiler (bjorn3 ), wg-compiler-performance
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 a point of contact. To find the invited goals, look for the
Goal Point of contact Team(s) and Champion(s)
Develop the capabilities to keep the FLS up to date Pete LeVasseur bootstrap (Jakub Beránek ), lang (Niko Matsakis ), opsem , spec (Pete LeVasseur ), types Getting Rust for Linux into stable Rust: compiler features Tomas Sedovic compiler (Wesley Wiser )Getting Rust for Linux into stable Rust: language features Tomas Sedovic lang (Josh Triplett ), lang-docs (TC )Borrow checking in a-mir-formality Niko Matsakis types (Niko Matsakis )Prototype Cargo build analysis Weihang Lo cargo (Weihang Lo )Rework Cargo Build Dir Layout Ross Sullivan cargo (Weihang Lo )Prototype a new set of Cargo "plumbing" commands cargo Continue resolving cargo-semver-checks blockers for merging into cargo Predrag Gruevski cargo (Ed Page ), rustdoc (Alona Enraght-Moony )Emit Retags in Codegen Ian McCormack compiler (Ralf Jung ), opsem (Ralf Jung )Comprehensive niche checks for Rust Bastian Kersting compiler (Ben Kimock ), opsem (Ben Kimock )Const Generics Boxy lang (Niko Matsakis )Finish the std::offload module Manuel Drehwald compiler (Manuel Drehwald ), lang (TC )Run more tests for GCC backend in the Rust's CI Guillaume Gomez compiler (Wesley Wiser ), infra (Marco Ieni )C++/Rust Interop Problem Space Mapping Jon Bauman compiler (Oliver Scherer ), lang (Tyler Mandry ), libs (David Tolnay ), opsem Finish the libtest json output experiment Ed Page cargo (Ed Page ), libs-api , testing-devex MIR move elimination Amanieu d'Antras compiler , lang (Amanieu d'Antras ), opsem , wg-mir-opt Implement Open API Namespace Support cargo (Ed Page ), compiler (b-naber ), crates-io (Carol Nichols )Stabilize public/private dependencies cargo (Ed Page ), compiler Expand the Rust Reference to specify more aspects of the Rust language Josh Triplett lang-docs (Josh Triplett ), spec (Josh Triplett )reflection and comptime Oliver Scherer compiler (Oliver Scherer ), lang (Scott McMurray ), libs (Josh Triplett )Relink don't Rebuild Jane Lusby cargo , compiler Rust Vision Document Niko Matsakis leadership-council rustc-perf improvements James compiler , infra Stabilize rustdoc doc_cfg feature Guillaume Gomez rustdoc (Guillaume Gomez )Add a team charter for rustdoc team Guillaume Gomez rustdoc (Guillaume Gomez )SVE and SME on AArch64 David Wood compiler (David Wood ), lang (Niko Matsakis ), libs (Amanieu d'Antras ), types Rust Stabilization of MemorySanitizer and ThreadSanitizer Support Jakob Koschel bootstrap , compiler , infra , project-exploit-mitigations Type System Documentation Boxy types (Boxy )Unsafe Fields Jack Wrenn compiler (Jack Wrenn ), lang (Scott McMurray )
