[swift-evolution] Would having "MyType.Protocol" to indicate a type's protocols mess anything up?

[Daryle Walker]

> On Jun 30, 2017, at 9:26 PM, Robert Bennett <rltbennett at icloud.com> wrote:
> 
> I’m not at a computer to test this, but would this work:
> 
> typealias T = P1 & P2
> extension C: T {}
> 
> Now T is C.Protocol

Is C supposed to be a type or a protocol? I’m guessing a protocol since I don’t think “C.Protocol” is currently legal for a type. In either case, T wouldn’t include protocols introduced to C in some other way.

Regardless of the answers for your example, I don’t want to “write” new protocols to C, but “read” the protocols C already has.

The “MyType.Protocol” was a suggestion that I wondered if it would complicate parsing. Alternate syntax opinions requested.

— 
Daryle Walker
Mac, Internet, and Video Game Junkie
darylew AT mac DOT com