No check for return-type substitutability

According to JLSv7 8.4.8.3 and JLSv7 8.5.4 an overriding method must be return-type substitutable for the method it is overriding. JastAddJ does not appear to check this currently.

Test case (should fail to compile):

class A {
        void m() { }
}

class Test extends A {
        /* Test.m() not return-type substitutable for A.m() */
        int m() {
                return -1;
        }
}

Comments (1)