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

[Jan Lahoda]

On Fri, 1 Jul 2022 16:43:29 GMT, Vicente Romero <vromero at openjdk.org> wrote:

> nit: we could probably add this test case for completeness:
> 
> ```
> class Test {
>     int test() {
>         record R(int a) {}
>         Object o = null;
>         switch (o) {
>             case R(int a) when true: return -1;
>             case R(int a): return 1;
>         }
>     }
> }
> ```

Thanks, done.

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

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