On Fri, 21 Apr 2023 15:34:32 GMT, Rémi Forax <fo...@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
