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