[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