java - 密封类无法编译，Eclipse 编译器错误？

Question

我在 Eclipse 2020-09 和 2020-12 中有这两个类(class):

A类

package test;

public sealed class A permits B { }

B类

package test;
import java.io.Serializable;

public final class B extends A implements Serializable  { }

但是，Eclipse 编译器在 B 类中给出了编译器错误:

The type B extending a sealed class Serializable should be a permitted subtype of Serializable

这看起来很奇怪，因为 Serialized 甚至不是一个密封类。我在JEP-360中找不到任何相关内容。 。 删除“implements Serialized”可以解决该错误。

这是 Eclipse 编译器中的错误吗？

Answer 1

如果其他人正在阅读此内容:

我的bug report已针对 Java 16 进行修复。