👋 Welcome
✏️ Updates
❱
2022-07-27: Announcing the Keyword Generics Initiative
2023-02-23: Keyword Generics Progress Report February 2023
2024-02-09: Extending Rust's Effect System
📜 Charter
🔬 Evaluation
❱
Syntax
❱
Template
Attributes
Const-bool like effects
Effect as a clause
Postfix question mark
Where effect bounds
Pattern Types and Backwards Compatibility
Auto Concurrency
Unleakable Types
📚 Draft RFCs
❱
Effect-Generic Trait Declarations
Effect-Generic Bounds and Functions
Effect-Generic Types
Effect Sets and Aliases
📦 Archive
❱
Effects in Rust
❱
Asynchrony
Compile-Time Execution
Fallibility
Iteration
Unwinding
Memory-Safety
Immovability
Object-Safety
Ownership
Thread-Safety
Effect hierarchy
Grouping keyword generics
Introducing new keyword generics
MIR desugaring
Overloading
Prior Art
Light (default)
Rust
Coal
Navy
Ayu
keyword generics initiative
Memory Safety (Scoped Effect)
Asynchrony
Compile-time Execution
Fallibility
Iteration
Unwinding
Memory-Safety
Immovability
Object-Safety
Ownership
Thread-Safety
References
Keywords I: Unsafe Syntax