Generic types in permits clause of a sealed class

Vicente Romero vicente.romero at oracle.com
Thu Jun 18 12:44:40 UTC 2020


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