Infer associated types as generic parameters more eagerly

Ok, +1. It would be great to clarify that in the writeup, because it doesn't come through clearly. :)

I look forward to this change. It's how I originally expected it to work.

2 Likes

This seems very reasonable to me. Would like to see this move forward and make its way into Swift. :+1:t3: