[swift-evolution] [Completing Generics] Universal conformances

Joe Groff jgroff at apple.com
Wed Mar 2 23:35:59 CST 2016

> On Mar 2, 2016, at 9:15 PM, Joe Groff via swift-evolution <swift-evolution at swift.org> wrote:
> Though definitely a "power" feature that should be used sparingly, I think there are legitimate use cases for universal conformances. If nothing else, the language imposes de-facto universal members on things, including T.Type and x.dynamicType, and it would be nice if those could be implemented in the standard library and given back as reserved words.

(It occurs to me that if we go the path-dependent types route, then `x.dynamicType` could be subsumed by `x.Self`...)

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160302/7f0d7c11/attachment.html>

More information about the swift-evolution mailing list