Great work! I'm particularly excited about the ability to write trait bounds in ...

Great work! I'm particularly excited about the ability to write trait bounds in associated type positions. This feels like a natural extension of the existing capabilities. Enhancements like this make the language even more enjoyable to use.