[swift-evolution] [swift-evolution-announce] [Review] SE-0089: Replace protocol<P1, P2> syntax with Any<P1, P2>

[L. Mihalkovic]

> On Jun 11, 2016, at 2:31 PM, Thorsten Seitz <tseitz42 at icloud.com> wrote:
> 
> 
>>> Am 11.06.2016 um 14:23 schrieb Brent Royal-Gordon <brent at architechies.com>:
>>> 
>>> The only magic would be that all type definitions (`protocol` etc.) which do not give a supertype they conform to, will implicitly conform to `Any`, i.e.
>>> 
>>> protocol Foo { … }
>>> 
>>> means
>>> 
>>> protocol Foo : Any { … }
>> 
>> Any is also the supertype of all structural types, and structural types cannot conform to protocols.
> 
> AFAIK Swift does not support structural types and I am not sure whether we should change that. In that case `Any` would become magic, yes.

Hmmm poor tuples... I thought they did a good job as swift's structural type.


> 
> -Thorsten