The changeset for type speculation includes some fixes to the type system. Test cases that exercise each of the fixes were missing. Here they are. http://cr.openjdk.java.net/~roland/8028536/webrev.00/ Roland.