RFR: 8301025: ClassCastException in switch with generic record [v2]

[Jan Lahoda]

On Thu, 2 Feb 2023 13:00:06 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

>> Add missing class bound propagation during pattern matching translation.
>
> Aggelos Biboudis has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Address review

Looks good to me.

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

Marked as reviewed by jlahoda (Reviewer).

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