Type checker fails to check method returns

[mattcce]

MWE (type-checker does not throw errors):

class C {
    public int method() {
    }
    
    public static void main(String[] args) {
        C c = new C();
        
        int x = c.method();
    }
}

The above should not pass type-checking; method does not return an int along all paths.