RFR: 8301630: C2: 8297933 broke type speculation in some cases [v2]

[Roland Westrelin]

On Fri, 10 Feb 2023 12:10:39 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Roland Westrelin has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   type system fix & test
>
> All tests passed.

@TobiHartmann thanks for the review and tests. @chhagedorn 's review was on the previous version of this fix so I'd like another review. Anyone?

-------------

PR: https://git.openjdk.org/jdk/pull/12368