[swift-evolution] [swift-evolution-announce] [Review] SE-0089: Replace protocol<P1, P2> syntax with Any<P1, P2>
Thorsten Seitz
tseitz42 at icloud.com
Sat Jun 11 07:31:09 CDT 2016
> 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.
-Thorsten
More information about the swift-evolution
mailing list