Re: 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."