October 2025 - Rust Project Goals

The Rust project is currently working towards a slate of 5 project goals, with 3 of them designated as Flagship Goals. This post provides selected updates on our progress towards these goals (or, in some cases, lack thereof). The full details for any particular goal are available in its associated tracking issue on the rust-project-goals repository.

Flagship goals

"Unblocking dormant traits"

Evolving trait hierarchies (rust-lang/rust-project-goals#393)

Progress
Point of contact	Taylor Cramer
Champions	lang (Taylor Cramer), types (Oliver Scherer)
Task owners	Taylor Cramer, Taylor Cramer & others

No detailed updates available.

Next-generation trait solver (rust-lang/rust-project-goals#113)

Progress
Point of contact	lcnr
Champions	types (lcnr)
Task owners	Boxy, Michael Goulet, lcnr

No detailed updates available.

Stabilizable Polonius support on nightly (rust-lang/rust-project-goals#118)

Progress
Point of contact	Rémy Rakic
Champions	types (Jack Huey)
Task owners	Amanda Stjerna, Rémy Rakic, Niko Matsakis

No detailed updates available.

Goals looking for help

Other goal updates

Borrow checking in a-mir-formality (rust-lang/rust-project-goals#122)

Progress
Point of contact	Niko Matsakis
Champions	types (Niko Matsakis)
Task owners	Niko Matsakis, tiif

No detailed updates available.

Type System Documentation (rust-lang/rust-project-goals#405)

Progress
Point of contact	Boxy
Champions	types (Boxy)
Task owners	Boxy, lcnr

No detailed updates available.