framework/tests/all-systems/UnionTypes.java

// Test case for Issue 145
// https://github.com/typetools/checker-framework/issues/145
public class UnionTypes {
  public void TryCatch() {
    try {
      int[] arr = new int[10];
      arr[4] = 1;
    } catch (ArrayIndexOutOfBoundsException | StringIndexOutOfBoundsException exc) {
      Exception e = exc;
    }
  }
}