Interesting switch pattern-matching snippets that don't compile but maybe should

[Robbe Pincket]

Mon Jan 23 02:41:03 UTC 2023: David Alayachew:

>> The other errors seemed to be a
>> result of this error.
>
> Just to confirm, are you saying that now that you have corrected this error, you are no longer seeing the behaviour you mentioned in your original message?

No, I meant the 4 other errors that appeared in the first example due to `Other` implementing the wrong interface.
All the other examples are about what happens if `Other` doesn't exist, so they shouldn't have been affected.

Kind regards
Robbe Pincket
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230123/10bf38ba/attachment.htm>