Re: [swift-evolution] [Pitch] Allow sub-protocols to define typealiases for protocols' associatedtypes

> On Jun 6, 2016, at 1:59 PM, Ross O'Brien via swift-evolution > wrote: > > Given a protocol with an associated type: > > protocol Foo > { > associatedtype Bar > } > > it should be possible to define a protocol conforming to Foo, for which Bar > can be

Re: [swift-evolution] [Pitch] Allow sub-protocols to define typealiases for protocols' associatedtypes

Wouldn't this be covered under SE-0092? On Mon, Jun 6, 2016 at 15:59 Ross O'Brien via swift-evolution < swift-evolution@swift.org> wrote: > Given a protocol with an associated type: > > protocol Foo > { > associatedtype Bar > } > > it should be possible to define a protocol conforming to Foo,

[swift-evolution] [Pitch] Allow sub-protocols to define typealiases for protocols' associatedtypes

Given a protocol with an associated type: protocol Foo { associatedtype Bar } it should be possible to define a protocol conforming to Foo, for which Bar can be typealiased: protocol IntFoo : Foo { typealias Bar = Int } such that all conformers to IntFoo now have an associatedtype Bar