I think this is already part of the Generics Manifesto: https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md
So is this proposal. The proposal's "Motivation" is lifted from the Arbitrary Requirements in Protocols section: https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#arbitrary-requirements-in-protocols-
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution
