[sealed] Sealed local classes?
Maurizio Cimadamore
maurizio.cimadamore at oracle.com
Thu Oct 10 08:45:00 UTC 2019
On 10/10/2019 01:50, Brian Goetz wrote:
> Right. We already restrict anon and lambda instances of the sealed
> type. Not only can't we stably write down their types in the PS
> attribute, but even if we could, it's so easy to accidentally lose
> exhaustiveness.
This is a very good point; if I have type T = A | B | C, but then I have
'anonymous' Ts flying around, all switches assuming A|B|C are no longer
exhaustive.
Maurizio
More information about the amber-spec-experts
mailing list