[swift-evolution] Subclass Existentials

[Matt Whiteside]

Thanks for writing this proposal David.  

> On Jan 29, 2017, at 10:13, Xiaodi Wu via swift-evolution <swift-evolution at swift.org> wrote:
> 
> As Matthew mentioned, the rules can certainly later be relaxed, but given that this proposal has the compiler generating fix-its for subclasses in second position, is there a reason other than stylistic for demanding MyClass & MyProtocol instead of MyProtocol & MyClass?
> 
> From a naive perspective, it seems that if the compiler understands my meaning perfectly, it should just accept that spelling rather than complain.

I had that thought too.  Since ‘and’ is a symmetric operation, requiring the class to be in the first position seems counter-intuitive.

-Matt