RFR: 8300543 Compiler Implementation for Pattern Matching for switch [v4]

Maurizio Cimadamore mcimadamore at openjdk.org
Fri Apr 21 16:25:06 UTC 2023

On Fri, 21 Apr 2023 15:34:32 GMT, Rémi Forax <forax at openjdk.org> wrote:

> > Which compiles correctly, but it doesn't look exhaustive to me (because of F) ?
> Can you expand a little more, because for me a Z either implement C or D or both C and D.

Please see my latest comment above. I was confused by the rules of coverage with intersection types. F is immaterial in this example - the only thing to show is that there is at least one of the component of the intersection (in this case I) that is fully covered.


PR Review Comment: https://git.openjdk.org/jdk/pull/13074#discussion_r1173957437

More information about the compiler-dev mailing list