Relaxed assignment conversions for sealed types

[Maurizio Cimadamore]

This is a fruitful direction to explore, as it lets programmers "say 
what they mean" and provide adequate compiler support for when 
invariants suddenly change behind the user's backs.

+1

Maurizio

On 22/01/2021 17:27, Brian Goetz wrote:
> meant "I assert this case is total, please error if not."  And
>
>     case Foo(total Bar x)
>
> meant "I assert that this nested pattern is total, please error if not."
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20210122/8ebcd39c/attachment.htm>