Goals

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

Flagship goals represent the goals expected to have the broadest overall impact. Learn about flagship goals.

Goal	Point of contact	Progress
Organize Rust All-Hands 2025	Mara Bos
SVE and SME on AArch64	David Wood	⚠️
Bring the Async Rust experience closer to parity with sync Rust	Tyler Mandry
Stabilize tooling needed by Rust for Linux	Niko Matsakis	⚠️

Other 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 badge in the table below. Invited goals have reserved capacity for teams and a mentor, so if you are someone looking to help Rust progress, they are a great way to get involved.

Goal	Point of contact	Progress
Expose experimental LLVM features for GPU offloading	Manuel Drehwald	⚠️
Scalable Polonius support on nightly	Rémy Rakic	⚠️
Use annotate-snippets for rustc diagnostic output	Scott Schafer
build-std	David Wood	⚠️
Prototype a new set of Cargo "plumbing" commands		⚠️
Stabilize cargo-script	Ed Page	⚠️
Continue resolving cargo-semver-checks blockers for merging into cargo	Predrag Gruevski	⚠️
Making compiletest more maintainable: reworking directive handling	Jieyou Xu
Prepare const traits for stabilization	Oliver Scherer
Externally Implementable Items	Mara Bos
Experiment with ergonomic ref-counting	Santiago Pastorino	⚠️
Model coherence in a-mir-formality	Niko Matsakis	⚠️
Improve state machine codegen	Folkert de Vries
Finish the libtest json output experiment	Ed Page	⚠️
Declarative (macro_rules!) macro improvements	Josh Triplett
Metrics Initiative	Jane Lusby
"Stabilizable" prototype for expanded const generics	Boxy	⚠️
Next-generation trait solver	lcnr	⚠️
Null and enum-discriminant runtime checks in debug builds	Bastian Kersting	⚠️
Implement Open API Namespace Support		⚠️
Optimizing Clippy & linting	Alejandra González
Promoting Parallel Front End	Sparrow Li	⚠️
rustc-perf improvements	David Wood	⚠️
Stabilize public/private dependencies		⚠️
Extend pubgrub to match cargo's dependency resolution	Jacob Finkelman
Implement restrictions, prepare for stabilization	Jacob Pratt
Rust Vision Document	Niko Matsakis	⚠️
Research: How to achieve safety when linking separately compiled code	Mara Bos
Evaluate approaches for seamless interop between C++ and Rust	Tyler Mandry
Nightly support for ergonomic SIMD multiversioning	Luca Versari
Publish first rust-lang-owned release of "FLS"	Joel Marcey
Run the 2025H1 project goal program	Niko Matsakis
Publish first version of StableMIR on crates.io	Celina G. Val
Instrument the Rust standard library with safety contracts	Celina G. Val
Unsafe Fields	Jack Wrenn	⚠️
Secure quorum-based cryptographic verification and mirroring for crates.io	walterhpearce