framework/tests/all-systems/UnionCrash.java

// Test case for issue #775
// https://github.com/typetools/checker-framework/issues/775
public class UnionCrash {
  void foo(MyInterface<Throwable> param) throws Throwable {
    try {
      bar();
    } catch (MyExceptionA | MyExceptionB ex1) {
      try {
        bar();
      } catch (SubMyExceptionA | MyExceptionB ex2) {
        // This call cause a crash
        typeVar(ex1, ex2);
      }
    }
  }

  <T extends Throwable> void typeVar(T param, T param2) {}

  void bar() throws MyExceptionA, MyExceptionB {}

  interface MyInterface<T> {}

  class MyExceptionA extends Throwable implements Cloneable, MyInterface<String> {}

  class MyExceptionB extends Throwable implements Cloneable, MyInterface<String> {}

  class SubMyExceptionA extends MyExceptionA {}
}