I’ve done some progress on the draft proposal. There are still a few things to fill, but now it should be clear what `all<>` will solve (empty cells in the table) and what types it might produce (equivalent refined type). `protocol<>` could completely be replaced with `all<>`.
I have rewritten the examples for `all<>` to be more specific and moved `class<>` etc. to future directions with some examples what can be done with these. Due the fact that Swift 3 will have generic typealias and possible `any<>`, `struct<>` and `enum<>` in the future, we could also build `value<>` which I showed at the button of the proposal. Feel free to give me some feedback. :) -- Adrian Zubarev Sent with Airmail
_______________________________________________ swift-evolution mailing list swift-evolution@swift.org https://lists.swift.org/mailman/listinfo/swift-evolution
