> On Jun 30, 2017, at 9:26 PM, Robert Bennett <[email protected]> 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 

_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to