> 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 typealiased:
>
> protocol IntFoo : F
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, fo
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 being