Working to advance const generics support in the Rust language

Allowing Upcasting between trait objects

Extending Rust with Generic Associated Types

Extending Rust with Impl Trait

Extending the type system to support keyword generics

Extending negative impls and integrating them into coherence

A working-group project to extend the Rust language to support unwinding that crosses FFI boundaries

Working out the official, formal grammar for Rust and validating it against existing implementations

A working-group project to extend the Rust language to support inline assembly

A working-group project to extend the Rust language to support safe transmute between types

Working out the "Unsafe Code Guidelines", which define what unsafe code can and cannot do