💬 Are GATs too complex? (original) (raw)

1. 👋 Welcome
2. 📜 Charter
3. 🏗️ MVP Stabilization
4. 1. Concern: GATs permit abstractions that make Rust harder to use
   2. Concern: GATs are too hard to learn, especially in their current state
   3. Concern: we should stabilize lifetime GATs only
   4. Concern: not confident the current MVP is backwards compatible
   5. Concern: Do we have the right rules for required bounds?
5. 📚 Explainer
6. 1. Why GATs?
   2. Defining and implementing the Iterable trait with GATs
   3. GATs in where-clauses
   4. Rough edges
   5. 1. Required bounds
         1. No implied bounds on HRTB
7. 🔮 Shiny future
8. 1. Defining and implementing the Iterable trait with GATs
   2. GATs in where-clauses
   3. Proposals
9. ✍️ Design patterns
10. 1. Iterable and lending iterators
11. Many modes
12. Generic scopes
13. Pointer types
14. 💬 Design discussions
15. 1. 💬 Outlives defaults
16. 1. Initial write-up
17. 💬 Where does the where clause go?
18. 1. Initial write-up
19. 💬 Are GATs too complex?
20. 💬 Should GATs only support lifetime parameters?
21. 😕 FAQ

Generic Associated Types Initiative