--- Comment #4 from 2012-02-26 08:17:35 PST ---
LSP is not violated. That is the point. The rules proposed here are sufficient
to guarantee LSP. The rules that are currently employed are too conservative.
Think about it.

void main(){
    Foo foo = new Bar;; // call ok, returns 0
    //; // _call_ not ok, violates in contract

Also see issue 6857.

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

Reply via email to