[sealed] Sealed local classes?
forax at univ-mlv.fr
Fri Oct 25 14:16:06 UTC 2019
If you see sealed types in isolation yes,
but once you think that the compiler will check exhaustiveness of a switch using those names, the names has to be stable and human readable.
On October 25, 2019 10:34:04 AM UTC, Peter Levart <peter.levart at gmail.com> wrote:
>On 10/10/19 12:13 AM, Remi Forax wrote:
>> I agree, PermittedSubtypes should only contain stable names :)
>Well, since inference always happens inside a compilation unit, even
>"unstable" names are OK as all the classes in compilation unit are
>> ----- Mail original -----
>>> De: "Brian Goetz" <brian.goetz at oracle.com>
>>> À: "amber-spec-experts" <amber-spec-experts at openjdk.java.net>
>>> Envoyé: Mercredi 9 Octobre 2019 23:35:48
>>> Objet: Re: [sealed] Sealed local classes?
>>>> Proposal: ban `sealed` and `non-sealed` modifiers on _local_
>>>> and interfaces.
>>> And we would want to extend the ban we have for the other two forms
>>> "subclasses inside implementations", lambdas and inner classes, to
Envoyé de mon appareil Android avec Courriel K-9 Mail. Veuillez excuser ma brièveté.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the amber-spec-experts