When I implement objects or methods that use generics I find myself at times forgetting which types conform to the protocols required by the generic methods.
Normally I would define an enum, or static variables so that when my cursor is to the right of the first arrow
<| the compiler suggest all the available options to me.
I can't do that when I define generics, and it means I have to search the codebase and hope that every developer that created a type that conforms to the protocol put the files in the same place.
It would be great if the compiler could search for all the Types that conform to the protocol that the generic needs to conform to and suggest them just like enums and static/class vars/functions.