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

[Xiaodi Wu]

Wouldn't this be covered under SE-0092?
On Mon, Jun 6, 2016 at 15:59 Ross O'Brien via swift-evolution <
swift-evolution at 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, for which
> Bar can be typealiased:
>
> protocol IntFoo : Foo
> {
>   typealias Bar = Int
> }
>
> such that all conformers to IntFoo now have an associatedtype Bar being
> Int without having to define it themselves. At present IntFoo cannot
> declare a typealias (as this generates a warning that typealias has been
> deprecated), but can declare an 'associatedtype Bar = Int' which types
> conforming to IntFoo have to repeat to consider it properly declared. This
> re-declaration is redundant.
> _______________________________________________
> swift-evolution mailing list
> swift-evolution at swift.org
> https://lists.swift.org/mailman/listinfo/swift-evolution
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160606/8521a96c/attachment.html>