I’ll join the conversation tomorrow. Thanks to Brent for his huge contribution. :)
Just a quick side note: Moving from T.Type and T.Protocol to Type<T> and Subtype<T> would also allow us to finally reuse and correctly nest our custom Type and Protocol types. struct A { struct Type {} } A.Type() // <— Yeay This proposal also aims to fix the problem with generics where any protocol metatype was converted to P.Protocol. -- Adrian Zubarev Sent with Airmail Am 30. September 2016 um 06:22:34, Xiaodi Wu via swift-evolution (swift-evolution@swift.org) schrieb: What does the proposal offer that goes beyond what we currently have?
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution