RFR: 8347530: Improve error message with invalid permits clauses [v2]

[Jan Lahoda]

On Fri, 16 May 2025 12:45:51 GMT, Aggelos Biboudis <abimpoudis at openjdk.org> wrote:

>> Currently we report one kind of error message (`subclass {0} must extend sealed class`) when there is a compile-type error in cases like the following:
>> 
>> 
>> sealed class C0 permits S0 {}
>> class S0 {}  
>> 
>> 
>> This PR proposes to improve error reporting since there are other kinds of declarations that can also participate in sealed hierarchies like records, enums and interfaces.
>
> Aggelos Biboudis has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Address review

Looks good to me!

-------------

Marked as reviewed by jlahoda (Reviewer).

PR Review: https://git.openjdk.org/jdk/pull/25255#pullrequestreview-2846575216