Re: Polymorphic catcalls

[Kagamin]

The Little Willy example applies to D just fine. When served 
wrong drink, Little Willy has little choice but to throw an 
exception. This seems like a strengthening of a Customer's 
contract, doesn't it? It doesn't matter how the typecheck is done 
technically. And this strengthening seems to be inevitable in 
practice.