framework/tests/all-systems/Unions.java

public class Unions {
  void foo1(MyInterface<Throwable> param) throws Throwable {
    try {
      bar();
    } catch (MyExceptionA | MyExceptionB ex) {
      typeVar(ex);
      typeVarIntersection(ex);

      typeVarWildcard(ex, param);
      typeVarWildcard2(ex, param);
    }
  }

  void foo2(MyInterface<Throwable> param) throws Throwable {
    try {
      bar();
    } catch (SubMyExceptionA | SubMyExceptionA2 ex) {
      typeVar(ex);
      typeVar2(ex, ex);

      typeVarIntersection(ex);

      typeVarWildcard(ex, param);
      typeVarWildcard2(ex, param);
    }
  }

  <T extends Cloneable & MyInterface<String>> void typeVarIntersection(T param) {}

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

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

  <T extends Throwable> void typeVarWildcard(T param, MyInterface<? extends T> myInterface) {}

  <T extends Throwable> void typeVarWildcard2(T param, MyInterface<? super T> myInterface) {}

  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 {}

  class SubMyExceptionA2 extends MyExceptionA {}
}