On Thu, 5 May 2022 12:16:23 GMT, Maurizio Cimadamore <mcimadam...@openjdk.org> 
wrote:

>> I think this is i) from the domination relation:
>> 
>>> A record pattern with type R and record component pattern list L dominates 
>>> another record pattern with type S and record component pattern list M if 
>>> (i) the erasure of S is a subtype of the erasure of R, and (ii) every 
>>> pattern, if any, in L dominates the corresponding pattern in M.
>
>> I think this is i) from the domination relation:
>> 
>> > A record pattern with type R and record component pattern list L dominates 
>> > another record pattern with type S and record component pattern list M if 
>> > (i) the erasure of S is a subtype of the erasure of R, and (ii) every 
>> > pattern, if any, in L dominates the corresponding pattern in M.
> 
> But this subtyping test seems to happen at the level of the component pattern 
> list, not at the R/S level, right?

You are right. It is the ii) which iteratively checks the component pattern 
list L.

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

PR: https://git.openjdk.java.net/jdk/pull/8516

Reply via email to