[sealed] Sealed local classes?

[Peter Levart]

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 
(re)compiled together.


Regards, Peter

>
> Rémi
>
> ----- 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_ classes
>>> and interfaces.
>> And we would want to extend the ban we have for the other two forms of
>> "subclasses inside implementations", lambdas and inner classes, to local
>> classes.