👋 Welcome
📜 Charter
🏗️ MVP Stabilization
❱
Concern: GATs permit abstractions that make Rust harder to use
Concern: GATs are too hard to learn, especially in their current state
Concern: we should stabilize lifetime GATs only
Concern: not confident the current MVP is backwards compatible
Concern: Do we have the right rules for required bounds?
📚 Explainer
❱
Why GATs?
Defining and implementing the Iterable trait with GATs
GATs in where-clauses
Rough edges
❱
Required bounds
No implied bounds on HRTB
🔮 Shiny future
❱
Defining and implementing the Iterable trait with GATs
GATs in where-clauses
Proposals
✍️ Design patterns
❱
Iterable and lending iterators
Many modes
Generic scopes
Pointer types
💬 Design discussions
❱
💬 Outlives defaults
❱
Initial write-up
💬 Where does the where clause go?
❱
Initial write-up
💬 Are GATs too complex?
💬 Should GATs only support lifetime parameters?
😕 FAQ
Light (default)
Rust
Coal
Navy
Ayu
Generic Associated Types Initiative
Are GATs too complex?
Question
Conclusion