Izagawd

RFC: Const self fields

32

This RFC proposes const self fields: per-type constant metadata that can be accessed through values and trait objects using expr.FIELD syntax. For trait objects, implementations store their constant data inline...

RFC: Exhaustive traits. Traits that enable cross trait casting between trait objects.

10

This RFC proposes #[exhaustive] traits to enable sound cross-trait casting for trait objects. For any concrete type T, the set of #[exhaustive] traits it implements is finite and deterministic, allowing...