It means Collections that can use Range
as their Indices
will get Range
, not DefaultIndices
.
That's how it works now.
That's how it works now.
And thatâs also how it works under my mental model.
The most likely path I see is that this is solved as a nice-to-have by-product of "fixing" the more general problems with associated type inference.
Are there any plans or ideas on how we can "improve" associated type inference in the future?
Are there any plans or ideas on how we can "improve" associated type inference in the future?
IIRC @Douglas_Gregor had some reasonable ideas about what to do here last year. I spent a few minutes looking for the discussion thread but wasnât able to find it. If youâre willing to do some digging Iâm sure you could find it.
I mentioned/linked it above but had not time to re-evaluate it yet.
Yep, thatâs the one I was thinking of.