> [Apologies if this is in Swift 4 already.]
> 
> We can have generic parameters match a protocol. But I have an idea in my 
> head that involves the type NOT conforming to a protocol. I don’t think we 
> have a way currently to work with this.
Why do you want that?
When something conforms, you know that you can call the methods of the 
protocol, but without conformance, you can't do anything that's not possible 
using "is".
Also:
Don't forget retroactive conformance — you can never rely on non-conformance.
_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to