Repository navigation
Type checker fails to check method returns #75
Description
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.
Activity
kjw142857 commentedon Sep 30, 2026
It now throws a ClassFormatError