2025 is moving fast and primary focus areas for GCC Rust are centred around stabilizing critical language features and continuing to improve compiler robustness.
Here are the top priorities:
1. `impl Trait` Support (APIT and RPIT)
This includes both argument-position `impl Trait` (APIT) and return-position `impl Trait` (RPIT). While APIT is close to landing, RPIT requires finishing opaque type infrastructure and wiring it into return type resolution. These are foundational to supporting idiomatic Rust code.
2. Closure Inference with Constraints
Right now, closures that omit argument types are unsupported in gccrs. My goal is to introduce type inference for closures, including constraint solving — so that a closure like `|a, b| a + b` can infer types from usage context, and propagate bounds correctly for operators and trait methods.
3. Drop Trait Support
Implementing the `Drop` trait is essential for destructors, memory safety, and integration with move semantics.
Additional Goals
Beyond those three headline features, I'll be dedicating time to:
Improving error diagnostics, especially around generics and traits
Hardening the type system and fixing long-standing bugs
Reducing memory usage and simplifying internal data structures in the type system
These features should close out our gaps in the type system preventing pushing further with libcore support.
---
Thanks to Open Source Security and Embecosm for their continued support of the gccrs project.
Stay up to date with progress: