[jdk19] RFR: 8289196: Patttern domination not working property for record patterns [v2]

[Vicente Romero]

On Fri, 1 Jul 2022 18:13:36 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

>> When checking that a pattern in a switch case is not dominated by a preceding pattern, handling for record pattern is mostly missing. This patch is attempting to fix that, and as it requires a bit more code, it moves the check into `Check`.
>
> Jan Lahoda has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Adding test, as suggested.

lgtm

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

Marked as reviewed by vromero (Reviewer).

PR: https://git.openjdk.org/jdk19/pull/84