Following the fix for JDK-8071291, some operations for union types started to behave strangely; for instance the following code should be rejected by javac:

interface Foo<X> { }

class A extends Exception implements Foo<A> { }
class B extends Exception implements Foo<B> { }

interface D { }

class Test {
	<Z> void test(boolean cond) {
		try {
			if (cond) {         
				throw new A();
			} else {
				throw new B();
			}
		} catch (A | B ex) {
                         Foo<Integer> fa = (Foo<Integer>)ex;
              }     
	}
}

Following the fix, this code started to pass (this was failing in JDK 7 and was crashing in 8).