--- Comment #36 from Stewart Gordon <> 2012-05-04 13:49:11 PDT ---
(In reply to comment #35)
> Again, this is NOT true. The type of the argument is not statically 
> A, it is a polymorphic type A.

Why do you consider the contracts of a method to be NOT part of the API? 
Because Bertrand considers it so, or for some other reason?

> If an instance of A is passed, then the call to foo(-1) will fail. 
> Please try it and see for yourself.

I never doubted that.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to