--- Comment #15 from Walter Bright <> 2012-05-03 
11:07:27 PDT ---
fizbuzzA(A a) {; //'s in contract is valid

If an instance of B is passed to fizbuzzA, then the will call,
and either's in contract or's in contract must be valid.

There is no error or invalid corner case here.

I suspect that you think the contracts are checked based on static typing -
they are not, they are done using the virtual type.

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

Reply via email to