[swift-evolution] [Proposal] Fix lazy filter

[Dave Abrahams]

on Sun Jun 19 2016, Kevin Lundberg <swift-evolution at swift.org> wrote:

> this seems more like a bug fix to me than a language change. Does it
> need to go through evolution?

It's not a bug.  Measuring the length of the source before allocating
the destination array is usually a big win when compared to repeatedly
growing the array's memory and copying all its elements.

-- 
-Dave