That’s[my previous statement] not true in case a protocol has an associated type, in which case it has always been required to specify any since Swift allowed that. Or maybe you turned on upcoming feature of ExistentialAny (but I think you’d know that 
).