extension_type_implements_not_supertype

'{0}' 不是 '{1}' 的超类型，即表示类型。

当扩展类型实现一个不是其表示类型超类型的类型时，分析器会生成此诊断。

以下代码会生成此诊断，因为扩展类型 A 实现了 String，但 String 不是表示类型 int 的超类型

extension type A(int i) implements String {}

如果表示类型正确，则删除或替换 implements 子句中的类型

extension type A(int i) {}

如果表示类型不正确，则将其替换为正确的类型

extension type A(String s) implements String {}