Java 8 exception handling with inferred types

Issue #309 new
Jesper Öqvist
created an issue

ExtendJ 8.1.2-15-gd4d25af7 Java SE 8

The behavior of exception checking for generic methods has changed slightly after Java 7 and ExtendJ does not have the right behavior for Java 8.

The following test case should not cause an error when compiling with Java 8, but fails to compile with Java 7:

public class Test {
  void m() {
    f();
  }

  <E extends Exception> void f() throws E { }
}

Expected result: the test should compile with ExtendJ Java 8

Actual result: the test fails to compile with the following error message:

error: Test.f invoked in Test may throw uncaught exception java.lang.Exception

Comments (1)

  1. Log in to comment