On 26 Feb 2022, at 8:49, Brian Goetz wrote:
…I think they mostly proceed from two places where we may continue
to disagree:
- You are generally much more inclined to say "if it might be null,
disallow it / throw eagerly" than I am. In general, I prefer to let
the nulls flow until they hit
Relationship with assignment context
That's a huge leap, let's take a step back.
I see two questions that should be answered first.
1) do we really want pattern in case of assignment/declaration to
support assignment conversions ?
2) do we want patterns used by the switch or
> From: "Brian Goetz"
> To: "amber-spec-experts"
> Sent: Friday, February 25, 2022 10:45:44 PM
> Subject: Primitive type patterns
> As a consequence of doing record patterns, we also grapple with primitive type
> patterns. Until now, we've only supported reference type patterns, which are
>