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

为扩展 Rust 语言以支持让栈展开能跨越 FFI 边界的工作组项目。

编写 Rust 的官方正式语法，并根据现有的实现进行验证。

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

为扩展 Rust 语言以支持在类型之间安全地嬗变（transmute）的工作组项目。

编写《Unsafe 代码指南》—— 定义了 Unsafe 代码中允许和禁止的行为。