Array implicit conversions subvert type system

[Gregor Richards]

void eatFruit(Fruit[] yum) { ... }

void pickApples()
{
     Apple[] a;
     for (int i = 0; i < 100; i++) { a ~= new Apple(); }
     eatFruit(a); // nope, can't eat it, it's Apples, not fruit
}