[swift-evolution] Generalized Existentials / Type Erasers

[Chris Eidhof]

Hi swift-evolution,

I was wondering if anything more detailed has been written about
generalized existentials / type erasers. I noticed that AnyCollection only
delegates a number of methods to its wrapped value, but often doesn't. For
example, all the conditionally inherited items aren't being delegated (e.g.
min()). This behavior was surprising to me (but makes sense once I thought
about it longer).

How would this work with generalized existentials? Are generalized
existentials in scope at all for Swift 4?

-- 
Chris Eidhof
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20170131/9c22328a/attachment.html>