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 {}