Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-08 Thread Douglas Gregor via swift-dev
> On Nov 8, 2016, at 1:58 PM, Dave Abrahams via swift-dev > wrote: > > > on Mon Nov 07 2016, Douglas Gregor > wrote: > >> Hi all, >> >> While working on the type checker, I came across an interesting case for >> associated type

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-08 Thread Dave Abrahams via swift-dev
on Mon Nov 07 2016, Douglas Gregor wrote: > Hi all, > > While working on the type checker, I came across an interesting case for > associated type inference > with the ‘Indices’ type of RandomAccessCollection. At issue is a simple model > of > RandomAccessCollection where the Index type is

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-07 Thread Robert Widmann via swift-dev
Voting for 1. This is an ambiguity in stdlib through and through IMO. ~Robert Widmann 2016/11/07 22:07、Mark Lacey via swift-dev のメッセージ: > >> On Nov 7, 2016, at 6:16 PM, Douglas Gregor via swift-dev >> wrote: >> >> Hi all, >> >> While working on

Re: [swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-07 Thread Mark Lacey via swift-dev
> On Nov 7, 2016, at 6:16 PM, Douglas Gregor via swift-dev > wrote: > > Hi all, > > While working on the type checker, I came across an interesting case for > associated type inference with the ‘Indices’ type of RandomAccessCollection. > At issue is a simple model of

[swift-dev] Associated type inference fun with RandomAccessCollection

2016-11-07 Thread Douglas Gregor via swift-dev
Hi all, While working on the type checker, I came across an interesting case for associated type inference with the ‘Indices’ type of RandomAccessCollection. At issue is a simple model of RandomAccessCollection where the Index type is Int: class ReferenceCollection : RandomAccessCollection {