rfcs icon indicating copy to clipboard operation
rfcs copied to clipboard

RFCs for changes to Rust

Results 421 rfcs issues
Sort by recently updated
recently updated
newest added

This may seem like a small deal, and it may only amount to "This seems like something Rust should have." Although Rust allows enums to have isized tagged values, like...

Consider some attributes 'unsafe', so that they must only be used like this: ```rust #[unsafe(no_mangle)] ``` [Rendered](https://github.com/RalfJung/rfcs/blob/unsafe-attributes/text/0000-unsafe-attributes.md) [Prior discussion on IRLO](https://internals.rust-lang.org/t/pre-rfc-unsafe-attributes/17462)

T-lang
finished-final-comment-period
disposition-merge
to-announce
I-lang-nominated

This RFC improves ergonomics for pointers in unsafe Rust. It adds the RArrow token as a single-dereference member access operator. `x->field` desugars to `(*x).field`, and `x->method()` desugars to `(*x).method()`. Before:...

T-lang

I believe that there should be some way of flattening a tuple. The most common reason is probably from a macro or within one that calls a function that returns...

T-lang
T-libs-api

Add `FromLossy`, `TryFromLossy` traits. Discuss the bigger picture of conversions and the `as` keyword. Specify that `From` implementations must not only be *safe*, but also *exact*. [Rendered RFC](https://github.com/dhardy/rfcs/blob/from-lossy/text/0000-from-lossy.md)

T-libs-api
A-conversions
Libs-Tracked

This RFC is the first of a series for a PKI model for Rust; includes the design and implementation for a PKI CA and a resilient Quorum model for the...

T-infra

Introduce an `is` operator in Rust 2024, to test if an expression matches a pattern and bind the variables in the pattern. This is in *addition* to `let`-chaining; this RFC...

T-lang
A-maybe-future-edition
I-lang-radar

[Rendered](https://github.com/rust-lang/rfcs/blob/01c44d38f5e22ea79a09aa91e067955891a61dea/text/3525-struct-target-feature.md)

T-lang

[Rendered](https://github.com/jsgf/rfcs/blob/env-sandbox/text/0000-sandbox-environment.md) First draft proposal to add mechanism to precisely control environment available to the `env!`/`option_env!` macros. Implementation at https://github.com/jsgf/rust/tree/env-sandbox

T-compiler
A-env
A-sandbox

The existing RFC does not give sufficient attention to parametrized types and traits. - [Rendered](https://github.com/dhardy/rfcs/blob/revise-nonlocal-defns/text/3373-avoid-nonlocal-definitions-in-fns.md) - [Original RFC](https://github.com/rust-lang/rfcs/pull/3373#issuecomment-1975065275) - [Tracking issue](https://github.com/rust-lang/rust/issues/120363)

not-rfc
T-types