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