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

[David Alayachew]

Hello Robbe,

Thank you for your response.

> My bad, I changed something about
> the examples during the writing of
> the email and seemed to have copied
> something incorrectly. The line
> defining `Other` should be extending
> `Base` and not `Uber`

Ok, thank you for your clarification. Your original example compiles now,
just like you said.

> 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?

Thank you for reaching out!
David Alayachew

On Sun, Jan 22, 2023 at 11:16 AM Robbe Pincket <robbepincket at live.be> wrote:

> Sun Jan 22 01:03:59 UTC 2023, David Alayachew:
>
>
>
> > Am I missing something? Your first example does not compile.
>
>
>
> My bad, I changed something about the examples during the riting of
>
> the email and seemed to have copied something incorrectly.
>
> The line defining `Other` should be extending `Base` and not `Uber`:
>
>
>
> `record Other<T>() implements Base<T>{}`
>
>
>
> The other errors seemed to be a result of this error.
>
>
>
> Kind regards
>
> Robbe Pincket
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.org/pipermail/amber-dev/attachments/20230122/5f40c902/attachment.htm>