Generic types in permits clause of a sealed class

Anna Kozlova anna.kozlova at jetbrains.com
Fri Jun 19 10:37:37 UTC 2020


Thanks!
Anna

On Thu, Jun 18, 2020 at 2:44 PM Vicente Romero <vicente.romero at oracle.com>
wrote:

> Hi Anna,
>
> Thanks for the report, I already have a fix for this, will push ASAP,
>
> Vicente
>
> On 6/18/20 6:18 AM, Anna Kozlova wrote:
> > Hi,
> >
> > it looks like that generic type argument in the following code makes not
> > much sense, should not the compiler reject it?
> >
> > public sealed interface IC permits ID<String> {}
> > non-sealed interface ID<T> extends IC {}
> >
> > Thanks,
> >
> > Anna
>
>


More information about the amber-dev mailing list