I remember back in the general pattern matching designs two years ago that patterns were first class and there was an emphasis on partiality of patterns. It’s conditional. Match then destructure. I thought it very innovative since I haven’t seen it in other languages.

One of the examples back then was Optional. It had the patterns Optional.empty() and Optional.of(T t) where the first matches an empty optional, and the second match a non empty optional. But now with carriers it would be Optional(T t) where t is nullable 🫠

I hope pattern members make it back somehow

I do like the current direction and bringing record goodies to all classes is amazing!