Hacker News Reader

Why is this line an error?:

> var cats : Cat[] = [ new Cat() ]

It would not be an error if not for `addToList(cats, new Dog())`. Based on that call, Flow infers that `cats` has to be a `Dog[]`, not `Cat[]`.