8028536: Test cases to cover type system fixes pushed with 8024070

[Roland Westrelin]

Thanks for the review, Vladimir.

Roland.

On Nov 18, 2013, at 11:20 PM, Vladimir Kozlov <vladimir.kozlov at oracle.com> wrote:

> Looks good.
> 
> Vladimir
> 
> On 11/18/13 12:29 PM, Roland Westrelin wrote:
>> 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.
>>